| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Shared.AST
Synopsis
- data Terminator
- data VisibilityTag
- data ScopeTag
- newtype ScopeData = SD {}
- sd :: ScopeTag -> ScopeData
- data QualifiedName
- qualName :: String -> String -> QualifiedName
- data FileType
- isSource :: FileType -> Bool
- data AttachmentTag
- onAttachment :: AttachmentTag -> a -> a -> a
- data AttachmentData
- ad :: AttachmentTag -> Doc -> AttachmentData
- data FileData
- fileD :: FilePath -> ModData -> FileData
- updateFileMod :: ModData -> FileData -> FileData
- data FuncData
- fd :: TypeData -> Doc -> FuncData
- data ModData
- md :: String -> Doc -> ModData
- updateMod :: (Doc -> Doc) -> ModData -> ModData
- data MethodData
- mthd :: Doc -> MethodData
- updateMthd :: MethodData -> (Doc -> Doc) -> MethodData
- data OpData
- od :: Int -> Doc -> OpData
- data ParamData
- pd :: VarData -> Doc -> ParamData
- paramName :: ParamData -> String
- updateParam :: (Doc -> Doc) -> ParamData -> ParamData
- data ProgData
- progD :: String -> String -> [FileData] -> ProgData
- emptyProg :: ProgData
- data StateVarData
- svd :: VisibilityTag -> Doc -> (Doc, Terminator) -> StateVarData
- data TypeData
- td :: CodeType -> String -> Doc -> TypeData
- data ValData
- vd :: Maybe Int -> Maybe Integer -> TypeData -> Doc -> ValData
- updateValDoc :: (Doc -> Doc) -> ValData -> ValData
- data VarData
- vard :: AttachmentTag -> String -> TypeData -> Doc -> VarData
- data BinderD
- bindFormD :: String -> TypeData -> BinderD
- data CommonThunk s
- pureValue :: s ValData -> CommonThunk s
- vectorize :: (s ValData -> s ValData) -> CommonThunk s -> CommonThunk s
- vectorize2 :: (s ValData -> s ValData -> s ValData) -> CommonThunk s -> CommonThunk s -> CommonThunk s
- sumComponents :: CommonThunk s -> CommonThunk s
- commonVecIndex :: (s ValData -> s ValData) -> CommonThunk s -> s ValData
- commonThunkElim :: (CommonThunk s -> a) -> (CommonThunk s -> a) -> CommonThunk s -> a
- commonThunkDim :: (s ValData -> s ValData) -> CommonThunk s -> s ValData
Documentation
data Terminator Source #
data VisibilityTag Source #
Instances
| Eq VisibilityTag Source # | |
Defined in Drasil.Shared.AST Methods (==) :: VisibilityTag -> VisibilityTag -> Bool # (/=) :: VisibilityTag -> VisibilityTag -> Bool # | |
data QualifiedName Source #
Instances
| Eq QualifiedName Source # | |
Defined in Drasil.Shared.AST Methods (==) :: QualifiedName -> QualifiedName -> Bool # (/=) :: QualifiedName -> QualifiedName -> Bool # | |
| Ord QualifiedName Source # | |
Defined in Drasil.Shared.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 # | |
data AttachmentTag Source #
Denotes whether a member is bound to the class or its instances
Constructors
| ClassLevel | |
| InstanceLevel |
onAttachment :: AttachmentTag -> a -> a -> a Source #
data AttachmentData Source #
ad :: AttachmentTag -> Doc -> AttachmentData Source #
data MethodData Source #
mthd :: Doc -> MethodData Source #
updateMthd :: MethodData -> (Doc -> Doc) -> MethodData Source #
data StateVarData Source #
svd :: VisibilityTag -> Doc -> (Doc, Terminator) -> StateVarData 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 #