Agda.Utils.Haskell.Syntax

Modules

data Module

data ModulePragma

data ImportDecl

data ImportSpec

Declarations

data Decl

data DataOrNew

data ConDecl

type Deriving

data Binds

data Rhs

data GuardedRhs

data Match

Expressions

data Type

data Pat

data Stmt

data Exp

data Alt

data Literal

Names

data ModuleName

data QName

data Name

data QOp

data TyVarBind

unit_con