| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Drasil.Code.Imperative.DrasilState
Synopsis
- data SoftwareDossierInfo
- makeSoftwareDossierInfo :: Verbosity -> [SoftwareDossierFile] -> [Expr] -> SoftwareDossierInfo
- doxOutput :: Lens' SoftwareDossierInfo Verbosity
- softwareDossierFiles :: Lens' SoftwareDossierInfo [SoftwareDossierFile]
- sampleData :: Lens' SoftwareDossierInfo [Expr]
- data ChoicesInfo
- class HasChoices a where
- modular :: Lens' a Modularity
- implType :: Lens' a ImplementationType
- inStruct :: Lens' a Structure
- conStruct :: Lens' a ConstantStructure
- conRepr :: Lens' a ConstantRepr
- concMatches :: Lens' a MatchedConceptMap
- spaceMatches :: Lens' a MatchedSpaces
- onSfwrC :: Lens' a ConstraintBehaviour
- onPhysC :: Lens' a ConstraintBehaviour
- commented :: Lens' a [Comments]
- date :: Lens' a String
- logName :: Lens' a String
- logKind :: Lens' a [Logging]
- dsICNames :: Lens' a (InternalConcept -> Name)
- makeChoicesInfo :: Modularity -> ImplementationType -> Structure -> ConstantStructure -> ConstantRepr -> MatchedConceptMap -> MatchedSpaces -> ConstraintBehaviour -> ConstraintBehaviour -> [Comments] -> String -> String -> [Logging] -> (InternalConcept -> Name) -> ChoicesInfo
- type GenState = State DrasilState
- data DrasilState = DrasilState {
- codeSpec :: CodeSpec
- printfo :: PrintingInformation
- _choices :: ChoicesInfo
- modules :: [Mod]
- extLibNames :: [(Name, Version)]
- extLibMap :: ExtLibMap
- libPaths :: [FilePath]
- eMap :: ModExportMap
- libEMap :: ModExportMap
- clsMap :: ClassDefinitionMap
- defSet :: Set Name
- getVal :: Int
- _softwareDossierInfo :: SoftwareDossierInfo
- currentModule :: String
- currentClass :: String
- _designLog :: Doc
- _loggedSpaces :: [(Space, CodeType)]
- currentScope :: ScopeType
- softwareDossierInfo :: Lens' DrasilState SoftwareDossierInfo
- getDoxOutput :: DrasilState -> Verbosity
- getSoftwareDossierFiles :: DrasilState -> [SoftwareDossierFile]
- getSampleData :: DrasilState -> [Expr]
- designLog :: Lens' DrasilState Doc
- type MatchedSpaces = Space -> GenState CodeType
- type ModExportMap = Map String String
- type ClassDefinitionMap = Map String String
- data ScopeType
- modExportMap :: OldCodeSpec -> Choices -> [Mod] -> ModExportMap
- clsDefMap :: OldCodeSpec -> Choices -> [Mod] -> ClassDefinitionMap
- addToDesignLog :: Space -> CodeType -> Doc -> DrasilState -> DrasilState
- addLoggedSpace :: Space -> CodeType -> DrasilState -> DrasilState
- genICName :: InternalConcept -> GenState Name
- lookupC :: DrasilState -> UID -> DefinedQuantityDict
Documentation
data SoftwareDossierInfo Source #
makeSoftwareDossierInfo :: Verbosity -> [SoftwareDossierFile] -> [Expr] -> SoftwareDossierInfo Source #
doxOutput :: Lens' SoftwareDossierInfo Verbosity Source #
sampleData :: Lens' SoftwareDossierInfo [Expr] Source #
data ChoicesInfo Source #
Instances
| HasChoices ChoicesInfo Source # | |
Defined in Language.Drasil.Code.Imperative.DrasilState Methods modular :: Lens' ChoicesInfo Modularity Source # implType :: Lens' ChoicesInfo ImplementationType Source # inStruct :: Lens' ChoicesInfo Structure Source # conStruct :: Lens' ChoicesInfo ConstantStructure Source # conRepr :: Lens' ChoicesInfo ConstantRepr Source # concMatches :: Lens' ChoicesInfo MatchedConceptMap Source # spaceMatches :: Lens' ChoicesInfo MatchedSpaces Source # onSfwrC :: Lens' ChoicesInfo ConstraintBehaviour Source # onPhysC :: Lens' ChoicesInfo ConstraintBehaviour Source # commented :: Lens' ChoicesInfo [Comments] Source # date :: Lens' ChoicesInfo String Source # logName :: Lens' ChoicesInfo String Source # logKind :: Lens' ChoicesInfo [Logging] Source # dsICNames :: Lens' ChoicesInfo (InternalConcept -> Name) Source # | |
class HasChoices a where Source #
Methods
modular :: Lens' a Modularity Source #
implType :: Lens' a ImplementationType Source #
inStruct :: Lens' a Structure Source #
conStruct :: Lens' a ConstantStructure Source #
conRepr :: Lens' a ConstantRepr Source #
concMatches :: Lens' a MatchedConceptMap Source #
spaceMatches :: Lens' a MatchedSpaces Source #
onSfwrC :: Lens' a ConstraintBehaviour Source #
onPhysC :: Lens' a ConstraintBehaviour Source #
commented :: Lens' a [Comments] Source #
date :: Lens' a String Source #
logName :: Lens' a String Source #
logKind :: Lens' a [Logging] Source #
dsICNames :: Lens' a (InternalConcept -> Name) Source #
Instances
makeChoicesInfo :: Modularity -> ImplementationType -> Structure -> ConstantStructure -> ConstantRepr -> MatchedConceptMap -> MatchedSpaces -> ConstraintBehaviour -> ConstraintBehaviour -> [Comments] -> String -> String -> [Logging] -> (InternalConcept -> Name) -> ChoicesInfo Source #
type GenState = State DrasilState Source #
Abbreviation used throughout generator.
data DrasilState Source #
Private State, used to push these options around the generator.
Constructors
| DrasilState | |
Fields
| |
Instances
| HasChoices DrasilState Source # | |
Defined in Language.Drasil.Code.Imperative.DrasilState Methods modular :: Lens' DrasilState Modularity Source # implType :: Lens' DrasilState ImplementationType Source # inStruct :: Lens' DrasilState Structure Source # conStruct :: Lens' DrasilState ConstantStructure Source # conRepr :: Lens' DrasilState ConstantRepr Source # concMatches :: Lens' DrasilState MatchedConceptMap Source # spaceMatches :: Lens' DrasilState MatchedSpaces Source # onSfwrC :: Lens' DrasilState ConstraintBehaviour Source # onPhysC :: Lens' DrasilState ConstraintBehaviour Source # commented :: Lens' DrasilState [Comments] Source # date :: Lens' DrasilState String Source # logName :: Lens' DrasilState String Source # logKind :: Lens' DrasilState [Logging] Source # dsICNames :: Lens' DrasilState (InternalConcept -> Name) Source # | |
getDoxOutput :: DrasilState -> Verbosity Source #
getSampleData :: DrasilState -> [Expr] Source #
designLog :: Lens' DrasilState Doc Source #
modExportMap :: OldCodeSpec -> Choices -> [Mod] -> ModExportMap Source #
Builds the module export map, mapping each function and state variable name in the generated code to the name of the generated module that exports it.
clsDefMap :: OldCodeSpec -> Choices -> [Mod] -> ClassDefinitionMap Source #
Builds the class definition map, mapping each generated method and state variable name to the name of the generated class where it is defined.
addToDesignLog :: Space -> CodeType -> Doc -> DrasilState -> DrasilState Source #
addLoggedSpace :: Space -> CodeType -> DrasilState -> DrasilState Source #
Adds a Space-CodeType pair to the loggedSpaces list in DrasilState to prevent a duplicate
log from being generated for that Space-CodeType pair.
lookupC :: DrasilState -> UID -> DefinedQuantityDict Source #
Gets the DefinedQuantityDict corresponding to a UID.