Safe Haskell	Safe
Language	Haskell2010

Agda.Utils.Haskell.Syntax

Documentation

data Module Source #

Constructors

Module ModuleName [ModulePragma] [ImportDecl] [Decl]

data ModulePragma Source #

Constructors

LanguagePragma [Name]

data ImportDecl Source #

Constructors

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

data ImportSpec Source #

Constructors

IVar Name

data Decl Source #

Constructors

TypeDecl Name [TyVarBind] Type
DataDecl DataOrNew Name [TyVarBind] [ConDecl] [Deriving]
TypeSig [Name] Type
FunBind [Match]
FakeDecl String

Instances

Eq Decl Source #
Methods (==) :: Decl -> Decl -> Bool # (/=) :: Decl -> Decl -> Bool #

data DataOrNew Source #

Constructors

DataType
NewType

Instances

Eq DataOrNew Source #
Methods (==) :: DataOrNew -> DataOrNew -> Bool # (/=) :: DataOrNew -> DataOrNew -> Bool #

data ConDecl Source #

Constructors

ConDecl Name [Type]

Instances

Eq ConDecl Source #
Methods (==) :: ConDecl -> ConDecl -> Bool # (/=) :: ConDecl -> ConDecl -> Bool #

type Deriving = (QName, [Type]) Source #

data Binds Source #

Constructors

BDecls [Decl]

Instances

Eq Binds Source #
Methods (==) :: Binds -> Binds -> Bool # (/=) :: Binds -> Binds -> Bool #

data Rhs Source #

Constructors

UnGuardedRhs Exp
GuardedRhss [GuardedRhs]

Instances

Eq Rhs Source #
Methods (==) :: Rhs -> Rhs -> Bool # (/=) :: Rhs -> Rhs -> Bool #

data GuardedRhs Source #

Constructors

GuardedRhs [Stmt] Exp

Instances

Eq GuardedRhs Source #
Methods (==) :: GuardedRhs -> GuardedRhs -> Bool # (/=) :: GuardedRhs -> GuardedRhs -> Bool #

data Match Source #

Constructors

Match Name [Pat] Rhs (Maybe Binds)

Instances

Eq Match Source #
Methods (==) :: Match -> Match -> Bool # (/=) :: Match -> Match -> Bool #

data Type Source #

Constructors

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

Instances

Eq Type Source #
Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #

data Pat Source #

Constructors

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

Instances

Eq Pat Source #
Methods (==) :: Pat -> Pat -> Bool # (/=) :: Pat -> Pat -> Bool #

data Stmt Source #

Constructors

Qualifier Exp
Generator Pat Exp

Instances

Eq Stmt Source #
Methods (==) :: Stmt -> Stmt -> Bool # (/=) :: Stmt -> Stmt -> Bool #

data Exp Source #

Constructors

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

Instances

Eq Exp Source #
Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #

data Alt Source #

Constructors

Alt Pat Rhs (Maybe Binds)

Instances

Eq Alt Source #
Methods (==) :: Alt -> Alt -> Bool # (/=) :: Alt -> Alt -> Bool #

data Literal Source #

Constructors

Int Integer
Frac Rational
Char Char
String String

Instances

Eq Literal Source #
Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #

data ModuleName Source #

Constructors

ModuleName String

Instances

Eq ModuleName Source #
Methods (==) :: ModuleName -> ModuleName -> Bool # (/=) :: ModuleName -> ModuleName -> Bool #
Ord ModuleName Source #
Methods compare :: ModuleName -> ModuleName -> Ordering # (<) :: ModuleName -> ModuleName -> Bool # (<=) :: ModuleName -> ModuleName -> Bool # (>) :: ModuleName -> ModuleName -> Bool # (>=) :: ModuleName -> ModuleName -> Bool # max :: ModuleName -> ModuleName -> ModuleName # min :: ModuleName -> ModuleName -> ModuleName #

data QName Source #

Constructors

Qual ModuleName Name
UnQual Name

Instances

Eq QName Source #
Methods (==) :: QName -> QName -> Bool # (/=) :: QName -> QName -> Bool #

data Name Source #

Constructors

Ident String
Symbol String

Instances

Eq Name Source #
Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #

data QOp Source #

Constructors

QVarOp QName

Instances

Eq QOp Source #
Methods (==) :: QOp -> QOp -> Bool # (/=) :: QOp -> QOp -> Bool #

data TyVarBind Source #

Constructors

UnkindedVar Name

Instances

Eq TyVarBind Source #
Methods (==) :: TyVarBind -> TyVarBind -> Bool # (/=) :: TyVarBind -> TyVarBind -> Bool #

unit_con :: Exp Source #