Safe Haskell	Safe
Language	Haskell2010

Agda.Utils.Haskell.Syntax

Contents

Modules
Declarations
Expressions
Names

Description

ASTs for subset of GHC Haskell syntax.

Synopsis

data Module = Module ModuleName [ModulePragma] [ImportDecl] [Decl]
data ModulePragma
- = LanguagePragma [Name]
- | OtherPragma String
data ImportDecl = ImportDecl {
- importModule :: ModuleName
- importQualified :: Bool
- importSpecs :: Maybe (Bool, [ImportSpec])
}
data ImportSpec = IVar Name
data Decl
- = TypeDecl Name [TyVarBind] Type
- | DataDecl DataOrNew Name [TyVarBind] [ConDecl] [Deriving]
- | TypeSig [Name] Type
- | FunBind [Match]
- | PatSyn Pat Pat
- | FakeDecl String
data DataOrNew
- = DataType
- | NewType
data ConDecl = ConDecl Name [(Maybe Strictness, Type)]
data Strictness
- = Lazy
- | Strict
type Deriving = (QName, [Type])
data Binds = BDecls [Decl]
data Rhs
- = UnGuardedRhs Exp
- | GuardedRhss [GuardedRhs]
data GuardedRhs = GuardedRhs [Stmt] Exp
data Match = Match Name [Pat] Rhs (Maybe Binds)
data Type
- = TyForall [TyVarBind] Type
- | TyFun Type Type
- | TyCon QName
- | TyVar Name
- | TyApp Type Type
- | FakeType String
data Pat
- = PVar Name
- | PLit Literal
- | PAsPat Name Pat
- | PWildCard
- | PBangPat Pat
- | PApp QName [Pat]
- | PatTypeSig Pat Type
- | PIrrPat Pat
data Stmt
- = Qualifier Exp
- | Generator Pat Exp
data Exp
- = 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
data Alt = Alt Pat Rhs (Maybe Binds)
data Literal
- = Int Integer
- | Frac Rational
- | Char Char
- | String String
data ModuleName = ModuleName String
data QName
- = Qual ModuleName Name
- | UnQual Name
data Name
- = Ident String
- | Symbol String
data QOp = QVarOp QName
data TyVarBind = UnkindedVar Name
unit_con :: Exp

Modules

data Module #

Constructors

Module ModuleName [ModulePragma] [ImportDecl] [Decl]

Instances

Pretty Module #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Module -> Doc # prettyPrec :: Int -> Module -> Doc # prettyList :: [Module] -> Doc #

data ModulePragma #

Constructors

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

Instances

Pretty ModulePragma #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: ModulePragma -> Doc # prettyPrec :: Int -> ModulePragma -> Doc # prettyList :: [ModulePragma] -> Doc #

data ImportDecl #

Constructors

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

Instances

Pretty ImportDecl #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: ImportDecl -> Doc # prettyPrec :: Int -> ImportDecl -> Doc # prettyList :: [ImportDecl] -> Doc #

data ImportSpec #

Constructors

IVar Name

Instances

Pretty ImportSpec #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: ImportSpec -> Doc # prettyPrec :: Int -> ImportSpec -> Doc # prettyList :: [ImportSpec] -> Doc #

Declarations

data Decl #

Constructors

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

Instances

Eq Decl #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Decl -> Decl -> Bool # (/=) :: Decl -> Decl -> Bool #
Pretty Decl #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Decl -> Doc # prettyPrec :: Int -> Decl -> Doc # prettyList :: [Decl] -> Doc #

data DataOrNew #

Constructors

DataType
NewType

Instances

Eq DataOrNew #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: DataOrNew -> DataOrNew -> Bool # (/=) :: DataOrNew -> DataOrNew -> Bool #
Pretty DataOrNew #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: DataOrNew -> Doc # prettyPrec :: Int -> DataOrNew -> Doc # prettyList :: [DataOrNew] -> Doc #

data ConDecl #

Constructors

ConDecl Name [(Maybe Strictness, Type)]

Instances

Eq ConDecl #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: ConDecl -> ConDecl -> Bool # (/=) :: ConDecl -> ConDecl -> Bool #
Pretty ConDecl #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: ConDecl -> Doc # prettyPrec :: Int -> ConDecl -> Doc # prettyList :: [ConDecl] -> Doc #

data Strictness #

Constructors

Lazy
Strict

Instances

Eq Strictness #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Strictness -> Strictness -> Bool # (/=) :: Strictness -> Strictness -> Bool #
Pretty Strictness #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Strictness -> Doc # prettyPrec :: Int -> Strictness -> Doc # prettyList :: [Strictness] -> Doc #

type Deriving = (QName, [Type]) #

data Binds #

Constructors

BDecls [Decl]

Instances

Eq Binds #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Binds -> Binds -> Bool # (/=) :: Binds -> Binds -> Bool #
Pretty Binds #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Binds -> Doc # prettyPrec :: Int -> Binds -> Doc # prettyList :: [Binds] -> Doc #

data Rhs #

Constructors

UnGuardedRhs Exp
GuardedRhss [GuardedRhs]

Instances

Eq Rhs #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Rhs -> Rhs -> Bool # (/=) :: Rhs -> Rhs -> Bool #

data GuardedRhs #

Constructors

GuardedRhs [Stmt] Exp

Instances

Eq GuardedRhs #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: GuardedRhs -> GuardedRhs -> Bool # (/=) :: GuardedRhs -> GuardedRhs -> Bool #

data Match #

Constructors

Match Name [Pat] Rhs (Maybe Binds)

Instances

Eq Match #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Match -> Match -> Bool # (/=) :: Match -> Match -> Bool #
Pretty Match #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Match -> Doc # prettyPrec :: Int -> Match -> Doc # prettyList :: [Match] -> Doc #

Expressions

data Type #

Constructors

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

Instances

Eq Type #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Pretty Type #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Type -> Doc # prettyPrec :: Int -> Type -> Doc # prettyList :: [Type] -> Doc #

data Pat #

Constructors

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

Instances

Eq Pat #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Pat -> Pat -> Bool # (/=) :: Pat -> Pat -> Bool #
Pretty Pat #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Pat -> Doc # prettyPrec :: Int -> Pat -> Doc # prettyList :: [Pat] -> Doc #

data Stmt #

Constructors

Qualifier Exp
Generator Pat Exp

Instances

Eq Stmt #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Stmt -> Stmt -> Bool # (/=) :: Stmt -> Stmt -> Bool #
Pretty Stmt #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Stmt -> Doc # prettyPrec :: Int -> Stmt -> Doc # prettyList :: [Stmt] -> Doc #

data Exp #

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 #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Pretty Exp #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Exp -> Doc # prettyPrec :: Int -> Exp -> Doc # prettyList :: [Exp] -> Doc #

data Alt #

Constructors

Alt Pat Rhs (Maybe Binds)

Instances

Eq Alt #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Alt -> Alt -> Bool # (/=) :: Alt -> Alt -> Bool #
Pretty Alt #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Alt -> Doc # prettyPrec :: Int -> Alt -> Doc # prettyList :: [Alt] -> Doc #

data Literal #

Constructors

Int Integer
Frac Rational
Char Char
String String

Instances

Eq Literal #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Pretty Literal #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Literal -> Doc # prettyPrec :: Int -> Literal -> Doc # prettyList :: [Literal] -> Doc #

Names

data ModuleName #

Constructors

ModuleName String

Instances

Eq ModuleName #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: ModuleName -> ModuleName -> Bool # (/=) :: ModuleName -> ModuleName -> Bool #
Ord ModuleName #
Instance details Defined in Agda.Utils.Haskell.Syntax 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 #
Pretty ModuleName #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: ModuleName -> Doc # prettyPrec :: Int -> ModuleName -> Doc # prettyList :: [ModuleName] -> Doc #

data QName #

Constructors

Qual ModuleName Name
UnQual Name

Instances

Eq QName #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: QName -> QName -> Bool # (/=) :: QName -> QName -> Bool #
Pretty QName #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: QName -> Doc # prettyPrec :: Int -> QName -> Doc # prettyList :: [QName] -> Doc #

data Name #

Constructors

Ident String
Symbol String

Instances

Eq Name #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Pretty Name #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: Name -> Doc # prettyPrec :: Int -> Name -> Doc # prettyList :: [Name] -> Doc #

data QOp #

Constructors

QVarOp QName

Instances

Eq QOp #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: QOp -> QOp -> Bool # (/=) :: QOp -> QOp -> Bool #
Pretty QOp #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: QOp -> Doc # prettyPrec :: Int -> QOp -> Doc # prettyList :: [QOp] -> Doc #

data TyVarBind #

Constructors

UnkindedVar Name

Instances

Eq TyVarBind #
Instance details Defined in Agda.Utils.Haskell.Syntax Methods (==) :: TyVarBind -> TyVarBind -> Bool # (/=) :: TyVarBind -> TyVarBind -> Bool #
Pretty TyVarBind #
Instance details Defined in Agda.Compiler.MAlonzo.Pretty Methods pretty :: TyVarBind -> Doc # prettyPrec :: Int -> TyVarBind -> Doc # prettyList :: [TyVarBind] -> Doc #

unit_con :: Exp #