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

Generic NamedArgument Source #
Instance details Defined in Language.Drasil.Chunk.NamedArgument Associated Types type Rep NamedArgument :: Type -> Type # Methods from :: NamedArgument -> Rep NamedArgument x # to :: Rep NamedArgument x -> NamedArgument #
HasChunkRefs NamedArgument Source #
Instance details Defined in Language.Drasil.Chunk.NamedArgument Methods chunkRefs :: NamedArgument -> Set UID #
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 #
IsArgumentName NamedArgument Source #	`NamedArgument`s have an argument name.
Instance details Defined in Language.Drasil.Chunk.NamedArgument
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 #
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 #
type Rep NamedArgument Source #
Instance details Defined in Language.Drasil.Chunk.NamedArgument type Rep NamedArgument = D1 ('MetaData "NamedArgument" "Language.Drasil.Chunk.NamedArgument" "drasil-code-0.1.9.0-JHqDOLqdCU6DtuKMA6xOju" 'True) (C1 ('MetaCons "NA" 'PrefixI 'True) (S1 ('MetaSel ('Just "_qtd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DefinedQuantityDict)))

Constructor

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

Smart constructor for NamedArgument .