Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Chunk.NamedArgument

Contents

Chunk Type
Constructor

Description

Named arguments used in generating code.

Synopsis

newtype NamedArgument = NA {
- _qtd :: DefinedQuantityDict
}
narg :: (Quantity q, MayHaveUnit q, Concept q) => q -> NamedArgument

Chunk Type

newtype NamedArgument Source #

Any quantity can be a named argument (wrapper for DefinedQuantityDict), but with more of a focus on generating code arguments.

Constructors

NA
Fields _qtd :: DefinedQuantityDict

Instances

Instances details

IsArgumentName NamedArgument Source #	`NamedArgument`s have an argument name.
Instance details Defined in Language.Drasil.Chunk.NamedArgument
HasUID NamedArgument Source #	Finds the `UID` of the `DefinedQuantityDict` used to make the `NamedArgument`.
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods uid :: Getter NamedArgument UID #
Idea NamedArgument Source #	Finds the idea contained in the `DefinedQuantityDict` used to make the `NamedArgument`.
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods getA :: NamedArgument -> Maybe String #
NamedIdea NamedArgument Source #	Finds the term (`NP`) of the `DefinedQuantityDict` used to make the `NamedArgument`.
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods term :: Lens' NamedArgument NP #
MayHaveUnit NamedArgument Source #	Finds the units of the `DefinedQuantityDict` used to make the `NamedArgument`.
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods getUnit :: NamedArgument -> Maybe UnitDefn #
ConceptDomain NamedArgument Source #
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods cdom :: NamedArgument -> [UID] #
Definition NamedArgument Source #
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods defn :: Lens' NamedArgument Sentence #
Quantity NamedArgument Source #	`NamedArgument`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.NamedArgument
HasSpace NamedArgument Source #	Finds the `Space` of the `DefinedQuantityDict` used to make the `NamedArgument`.
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods typ :: Getter NamedArgument Space #
HasSymbol NamedArgument Source #	Finds the `Symbol` of the `DefinedQuantityDict` used to make the `NamedArgument`.
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods symbol :: NamedArgument -> Stage -> Symbol #
Eq NamedArgument Source #	Equal if `UID`s are equal.
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods (==) :: NamedArgument -> NamedArgument -> Bool # (/=) :: NamedArgument -> NamedArgument -> Bool #

Constructor

narg :: (Quantity q, MayHaveUnit q, Concept q) => q -> NamedArgument Source #

Smart constructor for NamedArgument .