ModuleAgda-2.8.0.2Haskell2010

Agda.Utils.Haskell.Syntax

ASTs for subset of GHC Haskell syntax.

Contents

Modules
Declarations
Expressions
Names

Synopsis

data Module
data ModulePragma
data ImportDecl
data ImportSpec
data Decl
data DataOrNew
data ConDecl
data Strictness
type Deriving
data Binds
data Rhs
data GuardedRhs
data Match
data Type
data Pat
data Stmt
data Exp
data Alt
data Literal
data ModuleName
data QName
data Name
data QOp
data TyVarBind
value unit_con

PackageAgda-2.8.0.2
Exports25
LanguageHaskell2010
LicenceMIT
SourceSyntax.hs

Modules

datadata Module

Constructors

Module ModuleName [ModulePragma] [ImportDecl] [Decl]

Instances2Pretty, MakeStrict

Pretty ModuleDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan
MakeStrict ModuleDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

datadata ModulePragma

Constructors

LanguagePragma [Name]
OtherPragma String
Unstructured pragma (Andreas, 2017-08-23, issue #2712).

Instances1Pretty

Pretty ModulePragmaDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

datadata ImportDecl

Constructors

ImportDecl
- importModule :: ModuleName
- importQualified :: Bool
- importSpecs :: Maybe (Bool, [ImportSpec])

Instances1Pretty

Pretty ImportDeclDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

datadata ImportSpec

Constructors

IVar Name

Instances1Pretty

Pretty ImportSpecDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

Declarations

datadata Decl

Constructors

TypeDecl Name [TyVarBind] Type
DataDecl DataOrNew Name [TyVarBind] [ConDecl] [Deriving]
TypeSig [Name] Type
FunBind [Match]
Should not be used when LocalBind could be used.
LocalBind Strictness Name Rhs
Should only be used in let or where.
PatSyn Pat Pat
FakeDecl String
Comment String

Instances3Eq, Pretty, MakeStrict

Eq DeclDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty DeclDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan
MakeStrict DeclDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

datadata DataOrNew

DataType NewType

Instances2Eq, Pretty

Eq DataOrNewDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty DataOrNewDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

datadata ConDecl

Constructors

ConDecl Name [(Maybe Strictness, Type)]

Instances2Eq, Pretty

Eq ConDeclDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty ConDeclDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

datadata Strictness

Lazy Strict

Instances2Eq, Pretty

Eq StrictnessDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty StrictnessDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

typetype Deriving = (QName, [Type])

datadata Binds

Constructors

BDecls [Decl]

Instances3Eq, Pretty, MakeStrict

Eq BindsDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty BindsDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan
MakeStrict BindsDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

datadata Rhs

Instances2Eq, MakeStrict

Eq RhsDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
MakeStrict RhsDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

datadata GuardedRhs

Constructors

GuardedRhs [Stmt] Exp

Instances2Eq, MakeStrict

Eq GuardedRhsDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
MakeStrict GuardedRhsDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

datadata Match

Constructors

Match Name [Pat] Rhs (Maybe Binds)

Instances3Eq, Pretty, MakeStrict

Eq MatchDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty MatchDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan
MakeStrict MatchDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

Expressions

datadata Type

Constructors

TyForall [TyVarBind] Type
TyFun Type Type
TyCon QName
TyVar Name
TyApp Type Type
FakeType String

Instances2Eq, Pretty

Eq TypeDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty TypeDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

datadata Pat

Constructors

PVar Name
PLit Literal
PAsPat Name Pat
PWildCard
PBangPat Pat
PApp QName [Pat]
PatTypeSig Pat Type
PIrrPat Pat

Instances3Eq, Pretty, MakeStrict

Eq PatDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty PatDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan
MakeStrict PatDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

datadata Stmt

Constructors

Qualifier Exp
Generator Pat Exp

Instances3Eq, Pretty, MakeStrict

Eq StmtDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty StmtDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan
MakeStrict StmtDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

datadata Exp

Constructors

Var QName
Con QName
Lit Literal
InfixApp Exp QOp Exp
Ann Exp Type
App Exp Exp
Lambda [Pat] Exp
Let Binds Exp
If Exp Exp Exp
Case Exp [Alt]
ExpTypeSig Exp Type
NegApp Exp
FakeExp String

Instances3Eq, Pretty, MakeStrict

Eq ExpDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty ExpDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan
MakeStrict ExpDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

datadata Alt

Constructors

Alt Pat Rhs (Maybe Binds)

Instances3Eq, Pretty, MakeStrict

Eq AltDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty AltDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan
MakeStrict AltDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Strict

datadata Literal

Constructors

Instances2Eq, Pretty

Eq LiteralDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty LiteralDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

Names

datadata ModuleName

Constructors

ModuleName String

Instances3Eq, Ord, Pretty

Eq ModuleNameDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Ord ModuleNameDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty ModuleNameDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

datadata QName

Constructors

Qual ModuleName Name
UnQual Name

Instances2Eq, Pretty

Eq QNameDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty QNameDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

datadata Name

Constructors

Ident String
Symbol String

Instances2Eq, Pretty

Eq NameDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty NameDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

datadata QOp

Constructors

QVarOp QName

Instances2Eq, Pretty

Eq QOpDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty QOpDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

datadata TyVarBind

Constructors

UnkindedVar Name

Instances2Eq, Pretty

Eq TyVarBindDefined in Agda-2.8.0.2 · Agda.Utils.Haskell.Syntax
Pretty TyVarBindDefined in Agda-2.8.0.2 · Agda.Compiler.MAlonzo.Pretty · orphan

valueunit_con :: Exp