Safe Haskell | None |
---|
Data types for modules and declarations
- type Precedence = Integer
- data Associativity
- data SourcePos = SourcePos {}
- data Fixity = Fixity Associativity Precedence
- data Module = Module ModuleName [Declaration] (Maybe [DeclarationRef])
- data DeclarationRef
- data ImportDeclarationType
- = Unqualified
- | Qualifying [DeclarationRef]
- | Hiding [DeclarationRef]
- data Declaration
- = DataDeclaration DataDeclType ProperName [String] [(ProperName, [Type])]
- | DataBindingGroupDeclaration [Declaration]
- | TypeSynonymDeclaration ProperName [String] Type
- | TypeDeclaration Ident Type
- | ValueDeclaration Ident NameKind [Binder] (Maybe Guard) Expr
- | BindingGroupDeclaration [(Ident, NameKind, Expr)]
- | ExternDeclaration ForeignImportType Ident (Maybe JS) Type
- | ExternDataDeclaration ProperName Kind
- | ExternInstanceDeclaration Ident [(Qualified ProperName, [Type])] (Qualified ProperName) [Type]
- | FixityDeclaration Fixity String
- | ImportDeclaration ModuleName ImportDeclarationType (Maybe ModuleName)
- | TypeClassDeclaration ProperName [String] [(Qualified ProperName, [Type])] [Declaration]
- | TypeInstanceDeclaration Ident [(Qualified ProperName, [Type])] (Qualified ProperName) [Type] [Declaration]
- | PositionedDeclaration SourcePos Declaration
- isValueDecl :: Declaration -> Bool
- isDataDecl :: Declaration -> Bool
- isImportDecl :: Declaration -> Bool
- isExternDataDecl :: Declaration -> Bool
- isExternInstanceDecl :: Declaration -> Bool
- isFixityDecl :: Declaration -> Bool
- isExternDecl :: Declaration -> Bool
- isTypeClassDeclaration :: Declaration -> Bool
- type Guard = Expr
- data Expr
- = NumericLiteral (Either Integer Double)
- | StringLiteral String
- | BooleanLiteral Bool
- | UnaryMinus Expr
- | BinaryNoParens (Qualified Ident) Expr Expr
- | Parens Expr
- | ArrayLiteral [Expr]
- | ObjectLiteral [(String, Expr)]
- | Accessor String Expr
- | ObjectUpdate Expr [(String, Expr)]
- | Abs (Either Ident Binder) Expr
- | App Expr Expr
- | Var (Qualified Ident)
- | IfThenElse Expr Expr Expr
- | Constructor (Qualified ProperName)
- | Case [Expr] [CaseAlternative]
- | TypedValue Bool Expr Type
- | Let [Declaration] Expr
- | Do [DoNotationElement]
- | TypeClassDictionaryConstructorApp (Qualified ProperName) Expr
- | TypeClassDictionary Bool (Qualified ProperName, [Type]) [TypeClassDictionaryInScope]
- | SuperClassDictionary (Qualified ProperName) [Type]
- | PositionedValue SourcePos Expr
- data CaseAlternative = CaseAlternative {}
- canonicalizeDictionary :: TypeClassDictionaryInScope -> Qualified Ident
- data DoNotationElement
- data Binder
- = NullBinder
- | BooleanBinder Bool
- | StringBinder String
- | NumberBinder (Either Integer Double)
- | VarBinder Ident
- | ConstructorBinder (Qualified ProperName) [Binder]
- | ObjectBinder [(String, Binder)]
- | ArrayBinder [Binder]
- | ConsBinder Binder Binder
- | NamedBinder Ident Binder
- | PositionedBinder SourcePos Binder
- binderNames :: Binder -> [Ident]
- everywhereOnValues :: (Declaration -> Declaration) -> (Expr -> Expr) -> (Binder -> Binder) -> (Declaration -> Declaration, Expr -> Expr, Binder -> Binder)
- everywhereOnValuesTopDownM :: (Functor m, Applicative m, Monad m) => (Declaration -> m Declaration) -> (Expr -> m Expr) -> (Binder -> m Binder) -> (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder)
- everywhereOnValuesM :: (Functor m, Applicative m, Monad m) => (Declaration -> m Declaration) -> (Expr -> m Expr) -> (Binder -> m Binder) -> (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder)
- everythingOnValues :: (r -> r -> r) -> (Declaration -> r) -> (Expr -> r) -> (Binder -> r) -> (CaseAlternative -> r) -> (DoNotationElement -> r) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)
- everythingWithContextOnValues :: s -> r -> (r -> r -> r) -> (s -> Declaration -> (s, r)) -> (s -> Expr -> (s, r)) -> (s -> Binder -> (s, r)) -> (s -> CaseAlternative -> (s, r)) -> (s -> DoNotationElement -> (s, r)) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)
- everywhereWithContextOnValuesM :: (Functor m, Applicative m, Monad m) => s -> (s -> Declaration -> m (s, Declaration)) -> (s -> Expr -> m (s, Expr)) -> (s -> Binder -> m (s, Binder)) -> (s -> CaseAlternative -> m (s, CaseAlternative)) -> (s -> DoNotationElement -> m (s, DoNotationElement)) -> (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder, CaseAlternative -> m CaseAlternative, DoNotationElement -> m DoNotationElement)
- accumTypes :: Monoid r => (Type -> r) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)
Documentation
type Precedence = IntegerSource
A precedence level for an infix operator
data Associativity Source
Associativity for infix operators
Source position information
SourcePos | |
|
Fixity data for infix operators
A module declaration, consisting of a module name, a list of declarations, and a list of the declarations that are explicitly exported. If the export list is Nothing, everything is exported.
data DeclarationRef Source
An item in a list of explicit imports or exports
TypeRef ProperName (Maybe [ProperName]) | A type constructor with data constructors |
ValueRef Ident | A value |
TypeClassRef ProperName | A type class |
TypeInstanceRef Ident | A type class instance, created during typeclass desugaring (name, class name, instance types) |
PositionedDeclarationRef SourcePos DeclarationRef | A declaration reference with source position information |
data ImportDeclarationType Source
The data type which specifies type of import declaration
Unqualified | Unqualified import |
Qualifying [DeclarationRef] | Qualified import with a list of references to import |
Hiding [DeclarationRef] | Import with hiding clause with a list of references to hide |
data Declaration Source
The data type of declarations
DataDeclaration DataDeclType ProperName [String] [(ProperName, [Type])] | A data type declaration (data or newtype, name, arguments, data constructors) |
DataBindingGroupDeclaration [Declaration] | A minimal mutually recursive set of data type declarations |
TypeSynonymDeclaration ProperName [String] Type | A type synonym declaration (name, arguments, type) |
TypeDeclaration Ident Type | A type declaration for a value (name, ty) |
ValueDeclaration Ident NameKind [Binder] (Maybe Guard) Expr | A value declaration (name, top-level binders, optional guard, value) |
BindingGroupDeclaration [(Ident, NameKind, Expr)] | A minimal mutually recursive set of value declarations |
ExternDeclaration ForeignImportType Ident (Maybe JS) Type | A foreign import declaration (type, name, optional inline Javascript, type) |
ExternDataDeclaration ProperName Kind | A data type foreign import (name, kind) |
ExternInstanceDeclaration Ident [(Qualified ProperName, [Type])] (Qualified ProperName) [Type] | A type class instance foreign import |
FixityDeclaration Fixity String | A fixity declaration (fixity data, operator name) |
ImportDeclaration ModuleName ImportDeclarationType (Maybe ModuleName) | A module import (module name, optional set of identifiers to import, optional set of identifiers to hide, optional qualified as name) |
TypeClassDeclaration ProperName [String] [(Qualified ProperName, [Type])] [Declaration] | A type class declaration (name, argument, implies, member declarations) |
TypeInstanceDeclaration Ident [(Qualified ProperName, [Type])] (Qualified ProperName) [Type] [Declaration] | A type instance declaration (name, dependencies, class name, instance types, member declarations) |
PositionedDeclaration SourcePos Declaration | A declaration with source position information |
isValueDecl :: Declaration -> BoolSource
Test if a declaration is a value declaration
isDataDecl :: Declaration -> BoolSource
Test if a declaration is a data type or type synonym declaration
isImportDecl :: Declaration -> BoolSource
Test if a declaration is a module import
isExternDataDecl :: Declaration -> BoolSource
Test if a declaration is a data type foreign import
isExternInstanceDecl :: Declaration -> BoolSource
Test if a declaration is a type class instance foreign import
isFixityDecl :: Declaration -> BoolSource
Test if a declaration is a fixity declaration
isExternDecl :: Declaration -> BoolSource
Test if a declaration is a foreign import
isTypeClassDeclaration :: Declaration -> BoolSource
Test if a declaration is a type class or instance declaration
A guard is just a boolean-valued expression that appears alongside a set of binders
Data type for expressions and terms
NumericLiteral (Either Integer Double) | A numeric literal |
StringLiteral String | A string literal |
BooleanLiteral Bool | A boolean literal |
UnaryMinus Expr | A prefix -, will be desugared |
BinaryNoParens (Qualified Ident) Expr Expr | Binary operator application. During the rebracketing phase of desugaring, this data constructor will be removed. |
Parens Expr | Explicit parentheses. During the rebracketing phase of desugaring, this data constructor will be removed. |
ArrayLiteral [Expr] | An array literal |
ObjectLiteral [(String, Expr)] | An object literal |
Accessor String Expr | An record property accessor expression |
ObjectUpdate Expr [(String, Expr)] | Partial record update |
Abs (Either Ident Binder) Expr | Function introduction |
App Expr Expr | Function application |
Var (Qualified Ident) | Variable |
IfThenElse Expr Expr Expr | Conditional (if-then-else expression) |
Constructor (Qualified ProperName) | A data constructor |
Case [Expr] [CaseAlternative] | A case expression. During the case expansion phase of desugaring, top-level binders will get desugared into case expressions, hence the need for guards and multiple binders per branch here. |
TypedValue Bool Expr Type | A value with a type annotation |
Let [Declaration] Expr | A let binding |
Do [DoNotationElement] | A do-notation block |
TypeClassDictionaryConstructorApp (Qualified ProperName) Expr | An application of a typeclass dictionary constructor. The value should be an ObjectLiteral. |
TypeClassDictionary Bool (Qualified ProperName, [Type]) [TypeClassDictionaryInScope] | A placeholder for a type class dictionary to be inserted later. At the end of type checking, these placeholders will be replaced with actual expressions representing type classes dictionaries which can be evaluated at runtime. The constructor arguments represent (in order): whether or not to look at superclass implementations when searching for a dictionary, the type class name and instance type, and the type class dictionaries in scope. |
SuperClassDictionary (Qualified ProperName) [Type] | A placeholder for a superclass dictionary to be turned into a TypeClassDictionary during typechecking |
PositionedValue SourcePos Expr | A value with source position information |
data CaseAlternative Source
An alternative in a case statement
CaseAlternative | |
|
canonicalizeDictionary :: TypeClassDictionaryInScope -> Qualified IdentSource
Find the original dictionary which a type class dictionary in scope refers to
data DoNotationElement Source
A statement in a do-notation block
DoNotationValue Expr | A monadic value without a binder |
DoNotationBind Binder Expr | A monadic value with a binder |
DoNotationLet [Declaration] | A let statement, i.e. a pure value with a binder |
PositionedDoNotationElement SourcePos DoNotationElement | A do notation element with source position information |
Data type for binders
NullBinder | Wildcard binder |
BooleanBinder Bool | A binder which matches a boolean literal |
StringBinder String | A binder which matches a string literal |
NumberBinder (Either Integer Double) | A binder which matches a numeric literal |
VarBinder Ident | A binder which binds an identifier |
ConstructorBinder (Qualified ProperName) [Binder] | A binder which matches a data constructor |
ObjectBinder [(String, Binder)] | A binder which matches a record and binds its properties |
ArrayBinder [Binder] | A binder which matches an array and binds its elements |
ConsBinder Binder Binder | A binder which matches an array and binds its head and tail |
NamedBinder Ident Binder | A binder which binds its input to an identifier |
PositionedBinder SourcePos Binder | A binder with source position information |
binderNames :: Binder -> [Ident]Source
Collect all names introduced in binders in an expression
everywhereOnValues :: (Declaration -> Declaration) -> (Expr -> Expr) -> (Binder -> Binder) -> (Declaration -> Declaration, Expr -> Expr, Binder -> Binder)Source
everywhereOnValuesTopDownM :: (Functor m, Applicative m, Monad m) => (Declaration -> m Declaration) -> (Expr -> m Expr) -> (Binder -> m Binder) -> (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder)Source
everywhereOnValuesM :: (Functor m, Applicative m, Monad m) => (Declaration -> m Declaration) -> (Expr -> m Expr) -> (Binder -> m Binder) -> (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder)Source
everythingOnValues :: (r -> r -> r) -> (Declaration -> r) -> (Expr -> r) -> (Binder -> r) -> (CaseAlternative -> r) -> (DoNotationElement -> r) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)Source
everythingWithContextOnValues :: s -> r -> (r -> r -> r) -> (s -> Declaration -> (s, r)) -> (s -> Expr -> (s, r)) -> (s -> Binder -> (s, r)) -> (s -> CaseAlternative -> (s, r)) -> (s -> DoNotationElement -> (s, r)) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)Source
everywhereWithContextOnValuesM :: (Functor m, Applicative m, Monad m) => s -> (s -> Declaration -> m (s, Declaration)) -> (s -> Expr -> m (s, Expr)) -> (s -> Binder -> m (s, Binder)) -> (s -> CaseAlternative -> m (s, CaseAlternative)) -> (s -> DoNotationElement -> m (s, DoNotationElement)) -> (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder, CaseAlternative -> m CaseAlternative, DoNotationElement -> m DoNotationElement)Source
accumTypes :: Monoid r => (Type -> r) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)Source