drasil-gool-0.1.1.0: A framework for code and document generation for scientific software - GOOL SubPackage

Safe Haskell	Safe-Inferred
Language	Haskell2010

Drasil.GOOL.AST

Documentation

data Terminator Source #

Constructors

Semi
Empty

data VisibilityTag Source #

Constructors

Pub
Priv

Instances

Instances details

Eq VisibilityTag Source #
Instance details Defined in Drasil.GOOL.AST Methods (==) :: VisibilityTag -> VisibilityTag -> Bool # (/=) :: VisibilityTag -> VisibilityTag -> Bool #

data ScopeTag Source #

Constructors

Local
Global

Instances

Instances details

Eq ScopeTag Source #
Instance details Defined in Drasil.GOOL.AST Methods (==) :: ScopeTag -> ScopeTag -> Bool # (/=) :: ScopeTag -> ScopeTag -> Bool #

newtype ScopeData Source #

Constructors

SD
Fields scopeTag :: ScopeTag

sd :: ScopeTag -> ScopeData Source #

data QualifiedName Source #

Instances

Instances details

Eq QualifiedName Source #
Instance details Defined in Drasil.GOOL.AST Methods (==) :: QualifiedName -> QualifiedName -> Bool # (/=) :: QualifiedName -> QualifiedName -> Bool #
Ord QualifiedName Source #
Instance details Defined in Drasil.GOOL.AST Methods compare :: QualifiedName -> QualifiedName -> Ordering # (<) :: QualifiedName -> QualifiedName -> Bool # (<=) :: QualifiedName -> QualifiedName -> Bool # (>) :: QualifiedName -> QualifiedName -> Bool # (>=) :: QualifiedName -> QualifiedName -> Bool # max :: QualifiedName -> QualifiedName -> QualifiedName # min :: QualifiedName -> QualifiedName -> QualifiedName #

qualName :: String -> String -> QualifiedName Source #

data FileType Source #

Constructors

Combined
Source
Header

isSource :: FileType -> Bool Source #

data Binding Source #

Constructors

Static
Dynamic

onBinding :: Binding -> a -> a -> a Source #

data BindData Source #

bd :: Binding -> Doc -> BindData Source #

data FileData Source #

fileD :: FilePath -> ModData -> FileData Source #

updateFileMod :: ModData -> FileData -> FileData Source #

data FuncData Source #

fd :: TypeData -> Doc -> FuncData Source #

data ModData Source #

md :: String -> Doc -> ModData Source #

updateMod :: (Doc -> Doc) -> ModData -> ModData Source #

data MethodData Source #

mthd :: Doc -> MethodData Source #

updateMthd :: MethodData -> (Doc -> Doc) -> MethodData Source #

data OpData Source #

od :: Int -> Doc -> OpData Source #

data ParamData Source #

pd :: VarData -> Doc -> ParamData Source #

paramName :: ParamData -> String Source #

updateParam :: (Doc -> Doc) -> ParamData -> ParamData Source #

data ProgData Source #

progD :: String -> String -> [FileData] -> ProgData Source #

emptyProg :: ProgData Source #

data StateVarData Source #

svd :: VisibilityTag -> Doc -> (Doc, Terminator) -> StateVarData Source #

data TypeData Source #

td :: CodeType -> String -> Doc -> TypeData Source #

data ValData Source #

vd :: Maybe Int -> Maybe Integer -> TypeData -> Doc -> ValData Source #

updateValDoc :: (Doc -> Doc) -> ValData -> ValData Source #

data VarData Source #

vard :: Binding -> String -> TypeData -> Doc -> VarData Source #

data CommonThunk s Source #

pureValue :: s ValData -> CommonThunk s Source #

vectorize :: (s ValData -> s ValData) -> CommonThunk s -> CommonThunk s Source #

vectorize2 :: (s ValData -> s ValData -> s ValData) -> CommonThunk s -> CommonThunk s -> CommonThunk s Source #

sumComponents :: CommonThunk s -> CommonThunk s Source #

commonVecIndex :: (s ValData -> s ValData) -> CommonThunk s -> s ValData Source #

commonThunkElim :: (CommonThunk s -> a) -> (CommonThunk s -> a) -> CommonThunk s -> a Source #

commonThunkDim :: (s ValData -> s ValData) -> CommonThunk s -> s ValData Source #