Safe Haskell	None
Language	Haskell2010

Axel.AST

Documentation

class ToHaskell a where Source #

Minimal complete definition

toHaskell

Methods

toHaskell :: a -> String Source #

Instances

ToHaskell Statement Source #
Instance details Defined in Axel.AST Methods toHaskell :: Statement -> String Source #
ToHaskell Literal Source #
Instance details Defined in Axel.AST Methods toHaskell :: Literal -> String Source #
ToHaskell Expression Source #
Instance details Defined in Axel.AST Methods toHaskell :: Expression -> String Source #
ToHaskell TypeSynonym Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeSynonym -> String Source #
ToHaskell TypeSignature Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeSignature -> String Source #
ToHaskell TypeclassInstance Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeclassInstance -> String Source #
ToHaskell RestrictedImport Source #
Instance details Defined in Axel.AST Methods toHaskell :: RestrictedImport -> String Source #
ToHaskell QualifiedImport Source #
Instance details Defined in Axel.AST Methods toHaskell :: QualifiedImport -> String Source #
ToHaskell Pragma Source #
Instance details Defined in Axel.AST Methods toHaskell :: Pragma -> String Source #
ToHaskell MacroDefinition Source #
Instance details Defined in Axel.AST Methods toHaskell :: MacroDefinition -> String Source #
ToHaskell LetBlock Source #
Instance details Defined in Axel.AST Methods toHaskell :: LetBlock -> String Source #
ToHaskell Lambda Source #
Instance details Defined in Axel.AST Methods toHaskell :: Lambda -> String Source #
ToHaskell ImportSpecification Source #
Instance details Defined in Axel.AST Methods toHaskell :: ImportSpecification -> String Source #
ToHaskell Import Source #
Instance details Defined in Axel.AST Methods toHaskell :: Import -> String Source #
ToHaskell FunctionDefinition Source #
Instance details Defined in Axel.AST Methods toHaskell :: FunctionDefinition -> String Source #
ToHaskell DataDeclaration Source #
Instance details Defined in Axel.AST Methods toHaskell :: DataDeclaration -> String Source #
ToHaskell TypeDefinition Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeDefinition -> String Source #
ToHaskell TopLevel Source #
Instance details Defined in Axel.AST Methods toHaskell :: TopLevel -> String Source #
ToHaskell FunctionApplication Source #
Instance details Defined in Axel.AST Methods toHaskell :: FunctionApplication -> String Source #
ToHaskell CaseBlock Source #
Instance details Defined in Axel.AST Methods toHaskell :: CaseBlock -> String Source #

type Identifier = String Source #

data CaseBlock Source #

Constructors

CaseBlock
Fields _expr :: Expression _matches :: [(Expression, Expression)]

Instances

Eq CaseBlock Source #
Instance details Defined in Axel.AST Methods (==) :: CaseBlock -> CaseBlock -> Bool # (/=) :: CaseBlock -> CaseBlock -> Bool #
Show CaseBlock Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> CaseBlock -> ShowS # show :: CaseBlock -> String # showList :: [CaseBlock] -> ShowS #
ToHaskell CaseBlock Source #
Instance details Defined in Axel.AST Methods toHaskell :: CaseBlock -> String Source #
HasExpr CaseBlock Expression Source #
Instance details Defined in Axel.AST Methods expr :: Lens' CaseBlock Expression Source #
HasMatches CaseBlock [(Expression, Expression)] Source #
Instance details Defined in Axel.AST Methods matches :: Lens' CaseBlock [(Expression, Expression)] Source #

data FunctionApplication Source #

Constructors

FunctionApplication
Fields _function :: Expression _arguments :: [Expression]

Instances

Eq FunctionApplication Source #
Instance details Defined in Axel.AST Methods (==) :: FunctionApplication -> FunctionApplication -> Bool # (/=) :: FunctionApplication -> FunctionApplication -> Bool #
Show FunctionApplication Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> FunctionApplication -> ShowS # show :: FunctionApplication -> String # showList :: [FunctionApplication] -> ShowS #
ToHaskell FunctionApplication Source #
Instance details Defined in Axel.AST Methods toHaskell :: FunctionApplication -> String Source #
HasFunction FunctionApplication Expression Source #
Instance details Defined in Axel.AST Methods function :: Lens' FunctionApplication Expression Source #
HasConstructors DataDeclaration [FunctionApplication] Source #
Instance details Defined in Axel.AST Methods constructors :: Lens' DataDeclaration [FunctionApplication] Source #
HasArguments FunctionApplication [Expression] Source #
Instance details Defined in Axel.AST Methods arguments :: Lens' FunctionApplication [Expression] Source #

newtype TopLevel Source #

Constructors

TopLevel
Fields _statements :: [Statement]

Instances

Eq TopLevel Source #
Instance details Defined in Axel.AST Methods (==) :: TopLevel -> TopLevel -> Bool # (/=) :: TopLevel -> TopLevel -> Bool #
Show TopLevel Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> TopLevel -> ShowS # show :: TopLevel -> String # showList :: [TopLevel] -> ShowS #
ToHaskell TopLevel Source #
Instance details Defined in Axel.AST Methods toHaskell :: TopLevel -> String Source #
HasStatements TopLevel [Statement] Source #
Instance details Defined in Axel.AST Methods statements :: Lens' TopLevel [Statement] Source #

data TypeDefinition Source #

Constructors

ProperType Identifier
TypeConstructor FunctionApplication

Instances

Eq TypeDefinition Source #
Instance details Defined in Axel.AST Methods (==) :: TypeDefinition -> TypeDefinition -> Bool # (/=) :: TypeDefinition -> TypeDefinition -> Bool #
Show TypeDefinition Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> TypeDefinition -> ShowS # show :: TypeDefinition -> String # showList :: [TypeDefinition] -> ShowS #
ToHaskell TypeDefinition Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeDefinition -> String Source #
HasTypeDefinition DataDeclaration TypeDefinition Source #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' DataDeclaration TypeDefinition Source #

data DataDeclaration Source #

Constructors

DataDeclaration
Fields _typeDefinition :: TypeDefinition _constructors :: [FunctionApplication]

Instances

Eq DataDeclaration Source #
Instance details Defined in Axel.AST Methods (==) :: DataDeclaration -> DataDeclaration -> Bool # (/=) :: DataDeclaration -> DataDeclaration -> Bool #
Show DataDeclaration Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> DataDeclaration -> ShowS # show :: DataDeclaration -> String # showList :: [DataDeclaration] -> ShowS #
ToHaskell DataDeclaration Source #
Instance details Defined in Axel.AST Methods toHaskell :: DataDeclaration -> String Source #
HasTypeDefinition DataDeclaration TypeDefinition Source #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' DataDeclaration TypeDefinition Source #
HasConstructors DataDeclaration [FunctionApplication] Source #
Instance details Defined in Axel.AST Methods constructors :: Lens' DataDeclaration [FunctionApplication] Source #

data FunctionDefinition Source #

Constructors

FunctionDefinition
Fields _name :: Identifier _arguments :: [Expression] _body :: Expression

Instances

Eq FunctionDefinition Source #
Instance details Defined in Axel.AST Methods (==) :: FunctionDefinition -> FunctionDefinition -> Bool # (/=) :: FunctionDefinition -> FunctionDefinition -> Bool #
Show FunctionDefinition Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> FunctionDefinition -> ShowS # show :: FunctionDefinition -> String # showList :: [FunctionDefinition] -> ShowS #
ToHaskell FunctionDefinition Source #
Instance details Defined in Axel.AST Methods toHaskell :: FunctionDefinition -> String Source #
HasName FunctionDefinition Identifier Source #
Instance details Defined in Axel.AST Methods name :: Lens' FunctionDefinition Identifier Source #
HasBody FunctionDefinition Expression Source #
Instance details Defined in Axel.AST Methods body :: Lens' FunctionDefinition Expression Source #
HasFunctionDefinition MacroDefinition FunctionDefinition Source #
Instance details Defined in Axel.AST Methods functionDefinition :: Lens' MacroDefinition FunctionDefinition Source #
HasArguments FunctionDefinition [Expression] Source #
Instance details Defined in Axel.AST Methods arguments :: Lens' FunctionDefinition [Expression] Source #
HasDefinitions TypeclassInstance [FunctionDefinition] Source #
Instance details Defined in Axel.AST Methods definitions :: Lens' TypeclassInstance [FunctionDefinition] Source #

data Import Source #

Constructors

ImportItem Identifier
ImportType Identifier [Identifier]

Instances

Eq Import Source #
Instance details Defined in Axel.AST Methods (==) :: Import -> Import -> Bool # (/=) :: Import -> Import -> Bool #
Show Import Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> Import -> ShowS # show :: Import -> String # showList :: [Import] -> ShowS #
ToHaskell Import Source #
Instance details Defined in Axel.AST Methods toHaskell :: Import -> String Source #

data ImportSpecification Source #

Constructors

ImportAll
ImportOnly [Import]

Instances

Eq ImportSpecification Source #
Instance details Defined in Axel.AST Methods (==) :: ImportSpecification -> ImportSpecification -> Bool # (/=) :: ImportSpecification -> ImportSpecification -> Bool #
Show ImportSpecification Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> ImportSpecification -> ShowS # show :: ImportSpecification -> String # showList :: [ImportSpecification] -> ShowS #
ToHaskell ImportSpecification Source #
Instance details Defined in Axel.AST Methods toHaskell :: ImportSpecification -> String Source #
HasImports RestrictedImport ImportSpecification Source #
Instance details Defined in Axel.AST Methods imports :: Lens' RestrictedImport ImportSpecification Source #
HasImports QualifiedImport ImportSpecification Source #
Instance details Defined in Axel.AST Methods imports :: Lens' QualifiedImport ImportSpecification Source #

data Lambda Source #

Constructors

Lambda
Fields _arguments :: [Expression] _body :: Expression

Instances

Eq Lambda Source #
Instance details Defined in Axel.AST Methods (==) :: Lambda -> Lambda -> Bool # (/=) :: Lambda -> Lambda -> Bool #
Show Lambda Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> Lambda -> ShowS # show :: Lambda -> String # showList :: [Lambda] -> ShowS #
ToHaskell Lambda Source #
Instance details Defined in Axel.AST Methods toHaskell :: Lambda -> String Source #
HasBody Lambda Expression Source #
Instance details Defined in Axel.AST Methods body :: Lens' Lambda Expression Source #
HasArguments Lambda [Expression] Source #
Instance details Defined in Axel.AST Methods arguments :: Lens' Lambda [Expression] Source #

data LetBlock Source #

Constructors

LetBlock
Fields _bindings :: [(Expression, Expression)] _body :: Expression

Instances

Eq LetBlock Source #
Instance details Defined in Axel.AST Methods (==) :: LetBlock -> LetBlock -> Bool # (/=) :: LetBlock -> LetBlock -> Bool #
Show LetBlock Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> LetBlock -> ShowS # show :: LetBlock -> String # showList :: [LetBlock] -> ShowS #
ToHaskell LetBlock Source #
Instance details Defined in Axel.AST Methods toHaskell :: LetBlock -> String Source #
HasBody LetBlock Expression Source #
Instance details Defined in Axel.AST Methods body :: Lens' LetBlock Expression Source #
HasBindings LetBlock [(Expression, Expression)] Source #
Instance details Defined in Axel.AST Methods bindings :: Lens' LetBlock [(Expression, Expression)] Source #

newtype MacroDefinition Source #

Constructors

MacroDefinition
Fields _functionDefinition :: FunctionDefinition

Instances

Eq MacroDefinition Source #
Instance details Defined in Axel.AST Methods (==) :: MacroDefinition -> MacroDefinition -> Bool # (/=) :: MacroDefinition -> MacroDefinition -> Bool #
Show MacroDefinition Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> MacroDefinition -> ShowS # show :: MacroDefinition -> String # showList :: [MacroDefinition] -> ShowS #
ToHaskell MacroDefinition Source #
Instance details Defined in Axel.AST Methods toHaskell :: MacroDefinition -> String Source #
HasFunctionDefinition MacroDefinition FunctionDefinition Source #
Instance details Defined in Axel.AST Methods functionDefinition :: Lens' MacroDefinition FunctionDefinition Source #

newtype Pragma Source #

Constructors

Pragma
Fields _pragmaSpecification :: String

Instances

Eq Pragma Source #
Instance details Defined in Axel.AST Methods (==) :: Pragma -> Pragma -> Bool # (/=) :: Pragma -> Pragma -> Bool #
Show Pragma Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> Pragma -> ShowS # show :: Pragma -> String # showList :: [Pragma] -> ShowS #
ToHaskell Pragma Source #
Instance details Defined in Axel.AST Methods toHaskell :: Pragma -> String Source #
HasPragmaSpecification Pragma String Source #
Instance details Defined in Axel.AST Methods pragmaSpecification :: Lens' Pragma String Source #

data QualifiedImport Source #

Constructors

QualifiedImport
Fields _moduleName :: Identifier _alias :: Identifier _imports :: ImportSpecification

Instances

Eq QualifiedImport Source #
Instance details Defined in Axel.AST Methods (==) :: QualifiedImport -> QualifiedImport -> Bool # (/=) :: QualifiedImport -> QualifiedImport -> Bool #
Show QualifiedImport Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> QualifiedImport -> ShowS # show :: QualifiedImport -> String # showList :: [QualifiedImport] -> ShowS #
ToHaskell QualifiedImport Source #
Instance details Defined in Axel.AST Methods toHaskell :: QualifiedImport -> String Source #
HasModuleName QualifiedImport Identifier Source #
Instance details Defined in Axel.AST Methods moduleName :: Lens' QualifiedImport Identifier Source #
HasImports QualifiedImport ImportSpecification Source #
Instance details Defined in Axel.AST Methods imports :: Lens' QualifiedImport ImportSpecification Source #
HasAlias QualifiedImport Identifier Source #
Instance details Defined in Axel.AST Methods alias :: Lens' QualifiedImport Identifier Source #

data RestrictedImport Source #

Constructors

RestrictedImport
Fields _moduleName :: Identifier _imports :: ImportSpecification

Instances

Eq RestrictedImport Source #
Instance details Defined in Axel.AST Methods (==) :: RestrictedImport -> RestrictedImport -> Bool # (/=) :: RestrictedImport -> RestrictedImport -> Bool #
Show RestrictedImport Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> RestrictedImport -> ShowS # show :: RestrictedImport -> String # showList :: [RestrictedImport] -> ShowS #
ToHaskell RestrictedImport Source #
Instance details Defined in Axel.AST Methods toHaskell :: RestrictedImport -> String Source #
HasModuleName RestrictedImport Identifier Source #
Instance details Defined in Axel.AST Methods moduleName :: Lens' RestrictedImport Identifier Source #
HasImports RestrictedImport ImportSpecification Source #
Instance details Defined in Axel.AST Methods imports :: Lens' RestrictedImport ImportSpecification Source #

data TypeclassInstance Source #

Constructors

TypeclassInstance
Fields _instanceName :: Expression _definitions :: [FunctionDefinition]

Instances

Eq TypeclassInstance Source #
Instance details Defined in Axel.AST Methods (==) :: TypeclassInstance -> TypeclassInstance -> Bool # (/=) :: TypeclassInstance -> TypeclassInstance -> Bool #
Show TypeclassInstance Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> TypeclassInstance -> ShowS # show :: TypeclassInstance -> String # showList :: [TypeclassInstance] -> ShowS #
ToHaskell TypeclassInstance Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeclassInstance -> String Source #
HasInstanceName TypeclassInstance Expression Source #
Instance details Defined in Axel.AST Methods instanceName :: Lens' TypeclassInstance Expression Source #
HasDefinitions TypeclassInstance [FunctionDefinition] Source #
Instance details Defined in Axel.AST Methods definitions :: Lens' TypeclassInstance [FunctionDefinition] Source #

data TypeSignature Source #

Constructors

TypeSignature
Fields _name :: Identifier _typeDefinition :: Expression

Instances

Eq TypeSignature Source #
Instance details Defined in Axel.AST Methods (==) :: TypeSignature -> TypeSignature -> Bool # (/=) :: TypeSignature -> TypeSignature -> Bool #
Show TypeSignature Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> TypeSignature -> ShowS # show :: TypeSignature -> String # showList :: [TypeSignature] -> ShowS #
ToHaskell TypeSignature Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeSignature -> String Source #
HasTypeDefinition TypeSignature Expression Source #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' TypeSignature Expression Source #
HasName TypeSignature Identifier Source #
Instance details Defined in Axel.AST Methods name :: Lens' TypeSignature Identifier Source #

data TypeSynonym Source #

Constructors

TypeSynonym
Fields _alias :: Expression _definition :: Expression

Instances

Eq TypeSynonym Source #
Instance details Defined in Axel.AST Methods (==) :: TypeSynonym -> TypeSynonym -> Bool # (/=) :: TypeSynonym -> TypeSynonym -> Bool #
Show TypeSynonym Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> TypeSynonym -> ShowS # show :: TypeSynonym -> String # showList :: [TypeSynonym] -> ShowS #
ToHaskell TypeSynonym Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeSynonym -> String Source #
HasAlias TypeSynonym Expression Source #
Instance details Defined in Axel.AST Methods alias :: Lens' TypeSynonym Expression Source #
HasDefinition TypeSynonym Expression Source #
Instance details Defined in Axel.AST Methods definition :: Lens' TypeSynonym Expression Source #

data Expression Source #

Constructors

ECaseBlock CaseBlock
EEmptySExpression
EFunctionApplication FunctionApplication
EIdentifier Identifier
ELambda Lambda
ELetBlock LetBlock
ELiteral Literal

Instances

Eq Expression Source #
Instance details Defined in Axel.AST Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Show Expression Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Recursive Expression Source #
Instance details Defined in Axel.AST Methods bottomUpFmap :: (Expression -> Expression) -> Expression -> Expression Source # bottomUpTraverse :: Monad m => (Expression -> m Expression) -> Expression -> m Expression Source # topDownFmap :: (Expression -> Expression) -> Expression -> Expression Source #
ToHaskell Expression Source #
Instance details Defined in Axel.AST Methods toHaskell :: Expression -> String Source #
HasExpr CaseBlock Expression Source #
Instance details Defined in Axel.AST Methods expr :: Lens' CaseBlock Expression Source #
HasTypeDefinition TypeSignature Expression Source #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' TypeSignature Expression Source #
HasFunction FunctionApplication Expression Source #
Instance details Defined in Axel.AST Methods function :: Lens' FunctionApplication Expression Source #
HasBody LetBlock Expression Source #
Instance details Defined in Axel.AST Methods body :: Lens' LetBlock Expression Source #
HasBody Lambda Expression Source #
Instance details Defined in Axel.AST Methods body :: Lens' Lambda Expression Source #
HasBody FunctionDefinition Expression Source #
Instance details Defined in Axel.AST Methods body :: Lens' FunctionDefinition Expression Source #
HasAlias TypeSynonym Expression Source #
Instance details Defined in Axel.AST Methods alias :: Lens' TypeSynonym Expression Source #
HasInstanceName TypeclassInstance Expression Source #
Instance details Defined in Axel.AST Methods instanceName :: Lens' TypeclassInstance Expression Source #
HasDefinition TypeSynonym Expression Source #
Instance details Defined in Axel.AST Methods definition :: Lens' TypeSynonym Expression Source #
HasMatches CaseBlock [(Expression, Expression)] Source #
Instance details Defined in Axel.AST Methods matches :: Lens' CaseBlock [(Expression, Expression)] Source #
HasArguments Lambda [Expression] Source #
Instance details Defined in Axel.AST Methods arguments :: Lens' Lambda [Expression] Source #
HasArguments FunctionDefinition [Expression] Source #
Instance details Defined in Axel.AST Methods arguments :: Lens' FunctionDefinition [Expression] Source #
HasArguments FunctionApplication [Expression] Source #
Instance details Defined in Axel.AST Methods arguments :: Lens' FunctionApplication [Expression] Source #
HasBindings LetBlock [(Expression, Expression)] Source #
Instance details Defined in Axel.AST Methods bindings :: Lens' LetBlock [(Expression, Expression)] Source #

data Literal Source #

Constructors

LChar Char
LInt Int
LString String

Instances

Eq Literal Source #
Instance details Defined in Axel.AST Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Show Literal Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
ToHaskell Literal Source #
Instance details Defined in Axel.AST Methods toHaskell :: Literal -> String Source #

data Statement Source #

Instances

Eq Statement Source #
Instance details Defined in Axel.AST Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #
Show Statement Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #
ToHaskell Statement Source #
Instance details Defined in Axel.AST Methods toHaskell :: Statement -> String Source #
HasStatements TopLevel [Statement] Source #
Instance details Defined in Axel.AST Methods statements :: Lens' TopLevel [Statement] Source #

type Program = [Statement] Source #

class HasExpr s a | s -> a where Source #

Minimal complete definition

expr

Methods

expr :: Lens' s a Source #

Instances

HasExpr CaseBlock Expression Source #
Instance details Defined in Axel.AST Methods expr :: Lens' CaseBlock Expression Source #

class HasMatches s a | s -> a where Source #

Minimal complete definition

matches

Methods

matches :: Lens' s a Source #

Instances

HasMatches CaseBlock [(Expression, Expression)] Source #
Instance details Defined in Axel.AST Methods matches :: Lens' CaseBlock [(Expression, Expression)] Source #

class HasConstructors s a | s -> a where Source #

Minimal complete definition

constructors

Methods

constructors :: Lens' s a Source #

Instances

HasConstructors DataDeclaration [FunctionApplication] Source #
Instance details Defined in Axel.AST Methods constructors :: Lens' DataDeclaration [FunctionApplication] Source #

class HasTypeDefinition s a | s -> a where Source #

Minimal complete definition

typeDefinition

Methods

typeDefinition :: Lens' s a Source #

Instances

HasTypeDefinition TypeSignature Expression Source #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' TypeSignature Expression Source #
HasTypeDefinition DataDeclaration TypeDefinition Source #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' DataDeclaration TypeDefinition Source #

class HasArguments s a | s -> a where Source #

Minimal complete definition

arguments

Methods

arguments :: Lens' s a Source #

Instances

HasArguments Lambda [Expression] Source #
Instance details Defined in Axel.AST Methods arguments :: Lens' Lambda [Expression] Source #
HasArguments FunctionDefinition [Expression] Source #
Instance details Defined in Axel.AST Methods arguments :: Lens' FunctionDefinition [Expression] Source #
HasArguments FunctionApplication [Expression] Source #
Instance details Defined in Axel.AST Methods arguments :: Lens' FunctionApplication [Expression] Source #

class HasFunction s a | s -> a where Source #

Minimal complete definition

function

Methods

function :: Lens' s a Source #

Instances

HasFunction FunctionApplication Expression Source #
Instance details Defined in Axel.AST Methods function :: Lens' FunctionApplication Expression Source #

class HasBody s a | s -> a where Source #

Minimal complete definition

body

Methods

body :: Lens' s a Source #

Instances

HasBody LetBlock Expression Source #
Instance details Defined in Axel.AST Methods body :: Lens' LetBlock Expression Source #
HasBody Lambda Expression Source #
Instance details Defined in Axel.AST Methods body :: Lens' Lambda Expression Source #
HasBody FunctionDefinition Expression Source #
Instance details Defined in Axel.AST Methods body :: Lens' FunctionDefinition Expression Source #

class HasName s a | s -> a where Source #

Minimal complete definition

name

Methods

name :: Lens' s a Source #

Instances

HasName TypeSignature Identifier Source #
Instance details Defined in Axel.AST Methods name :: Lens' TypeSignature Identifier Source #
HasName FunctionDefinition Identifier Source #
Instance details Defined in Axel.AST Methods name :: Lens' FunctionDefinition Identifier Source #

class HasBindings s a | s -> a where Source #

Minimal complete definition

bindings

Methods

bindings :: Lens' s a Source #

Instances

HasBindings LetBlock [(Expression, Expression)] Source #
Instance details Defined in Axel.AST Methods bindings :: Lens' LetBlock [(Expression, Expression)] Source #

class HasFunctionDefinition s a | s -> a where Source #

Minimal complete definition

functionDefinition

Methods

functionDefinition :: Lens' s a Source #

Instances

HasFunctionDefinition MacroDefinition FunctionDefinition Source #
Instance details Defined in Axel.AST Methods functionDefinition :: Lens' MacroDefinition FunctionDefinition Source #

class HasPragmaSpecification s a | s -> a where Source #

Minimal complete definition

pragmaSpecification

Methods

pragmaSpecification :: Lens' s a Source #

Instances

HasPragmaSpecification Pragma String Source #
Instance details Defined in Axel.AST Methods pragmaSpecification :: Lens' Pragma String Source #

class HasAlias s a | s -> a where Source #

Minimal complete definition

alias

Methods

alias :: Lens' s a Source #

Instances

HasAlias TypeSynonym Expression Source #
Instance details Defined in Axel.AST Methods alias :: Lens' TypeSynonym Expression Source #
HasAlias QualifiedImport Identifier Source #
Instance details Defined in Axel.AST Methods alias :: Lens' QualifiedImport Identifier Source #

class HasImports s a | s -> a where Source #

Minimal complete definition

imports

Methods

imports :: Lens' s a Source #

Instances

HasImports RestrictedImport ImportSpecification Source #
Instance details Defined in Axel.AST Methods imports :: Lens' RestrictedImport ImportSpecification Source #
HasImports QualifiedImport ImportSpecification Source #
Instance details Defined in Axel.AST Methods imports :: Lens' QualifiedImport ImportSpecification Source #

class HasModuleName s a | s -> a where Source #

Minimal complete definition

moduleName

Methods

moduleName :: Lens' s a Source #

Instances

HasModuleName RestrictedImport Identifier Source #
Instance details Defined in Axel.AST Methods moduleName :: Lens' RestrictedImport Identifier Source #
HasModuleName QualifiedImport Identifier Source #
Instance details Defined in Axel.AST Methods moduleName :: Lens' QualifiedImport Identifier Source #

class HasStatements s a | s -> a where Source #

Minimal complete definition

statements

Methods

statements :: Lens' s a Source #

Instances

HasStatements TopLevel [Statement] Source #
Instance details Defined in Axel.AST Methods statements :: Lens' TopLevel [Statement] Source #

class HasDefinitions s a | s -> a where Source #

Minimal complete definition

definitions

Methods

definitions :: Lens' s a Source #

Instances

HasDefinitions TypeclassInstance [FunctionDefinition] Source #
Instance details Defined in Axel.AST Methods definitions :: Lens' TypeclassInstance [FunctionDefinition] Source #

class HasInstanceName s a | s -> a where Source #

Minimal complete definition

instanceName

Methods

instanceName :: Lens' s a Source #

Instances

HasInstanceName TypeclassInstance Expression Source #
Instance details Defined in Axel.AST Methods instanceName :: Lens' TypeclassInstance Expression Source #

class HasDefinition s a | s -> a where Source #

Minimal complete definition

definition

Methods

definition :: Lens' s a Source #

Instances

HasDefinition TypeSynonym Expression Source #
Instance details Defined in Axel.AST Methods definition :: Lens' TypeSynonym Expression Source #

SDataDeclaration DataDeclaration
SFunctionDefinition FunctionDefinition
SMacroDefinition MacroDefinition
SModuleDeclaration Identifier
SPragma Pragma
SQualifiedImport QualifiedImport
SRestrictedImport RestrictedImport
STopLevel TopLevel
STypeclassInstance TypeclassInstance
STypeSignature TypeSignature
STypeSynonym TypeSynonym
SUnrestrictedImport Identifier