| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Agda.Utils.Haskell.Syntax
Description
ASTs for subset of GHC Haskell syntax.
- data Module = Module ModuleName [ModulePragma] [ImportDecl] [Decl]
- data ModulePragma
- data ImportDecl = ImportDecl {
- importModule :: ModuleName
- importQualified :: Bool
- importSpecs :: Maybe (Bool, [ImportSpec])
- data ImportSpec = IVar Name
- data Decl
- data DataOrNew
- data ConDecl = ConDecl Name [(Maybe Strictness, Type)]
- data Strictness
- type Deriving = (QName, [Type])
- data Binds = BDecls [Decl]
- data Rhs
- data GuardedRhs = GuardedRhs [Stmt] Exp
- data Match = Match Name [Pat] Rhs (Maybe Binds)
- data Type
- data Pat
- data Stmt
- data Exp
- data Alt = Alt Pat Rhs (Maybe Binds)
- data Literal
- data ModuleName = ModuleName String
- data QName
- = Qual ModuleName Name
- | UnQual Name
- data Name
- data QOp = QVarOp QName
- data TyVarBind = UnkindedVar Name
- unit_con :: Exp
Modules
Constructors
| Module ModuleName [ModulePragma] [ImportDecl] [Decl] |
data ModulePragma Source #
Constructors
| LanguagePragma [Name] | |
| OtherPragma String | Unstructured pragma (Andreas, 2017-08-23, issue #2712). |
data ImportDecl Source #
Constructors
| ImportDecl | |
Fields
| |
data ImportSpec Source #
Declarations
Constructors
| ConDecl Name [(Maybe Strictness, Type)] |