Safe Haskell	None
Language	Haskell2010

Axel.AST

Documentation

class ToHaskell a where Source #

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 TypeclassDefinition Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeclassDefinition -> String Source #
ToHaskell RestrictedImport Source #
Instance details Defined in Axel.AST Methods toHaskell :: RestrictedImport -> String Source #
ToHaskell RecordType Source #
Instance details Defined in Axel.AST Methods toHaskell :: RecordType -> String Source #
ToHaskell RecordDefinition Source #
Instance details Defined in Axel.AST Methods toHaskell :: RecordDefinition -> 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 MacroImport Source #
Instance details Defined in Axel.AST Methods toHaskell :: MacroImport -> 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 NewtypeDeclaration Source #
Instance details Defined in Axel.AST Methods toHaskell :: NewtypeDeclaration -> 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 IfBlock Source #
Instance details Defined in Axel.AST Methods toHaskell :: IfBlock -> 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 #
HasConstructor NewtypeDeclaration FunctionApplication Source #
Instance details Defined in Axel.AST Methods constructor :: Lens' NewtypeDeclaration FunctionApplication 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 #

data IfBlock Source #

Constructors

IfBlock
Fields _cond :: Expression _ifTrue :: Expression _ifFalse :: Expression

Instances

Eq IfBlock Source #
Instance details Defined in Axel.AST Methods (==) :: IfBlock -> IfBlock -> Bool # (/=) :: IfBlock -> IfBlock -> Bool #
Show IfBlock Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> IfBlock -> ShowS # show :: IfBlock -> String # showList :: [IfBlock] -> ShowS #
ToHaskell IfBlock Source #
Instance details Defined in Axel.AST Methods toHaskell :: IfBlock -> String Source #
HasIfTrue IfBlock Expression Source #
Instance details Defined in Axel.AST Methods ifTrue :: Lens' IfBlock Expression Source #
HasIfFalse IfBlock Expression Source #
Instance details Defined in Axel.AST Methods ifFalse :: Lens' IfBlock Expression Source #
HasCond IfBlock Expression Source #
Instance details Defined in Axel.AST Methods cond :: Lens' IfBlock 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 NewtypeDeclaration TypeDefinition Source #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' NewtypeDeclaration TypeDefinition 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 NewtypeDeclaration Source #

Constructors

NewtypeDeclaration
Fields _typeDefinition :: TypeDefinition _constructor :: FunctionApplication

Instances

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

data FunctionDefinition Source #

Constructors

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

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 #
HasWhereBindings FunctionDefinition [FunctionDefinition] Source #
Instance details Defined in Axel.AST Methods whereBindings :: Lens' FunctionDefinition [FunctionDefinition] 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 #

data MacroImport Source #

Constructors

MacroImport
Fields _moduleName :: Identifier _imports :: [Identifier]

Instances

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

newtype RecordDefinition Source #

Constructors

RecordDefinition
Fields _bindings :: [(Identifier, Expression)]

Instances

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

newtype RecordType Source #

Constructors

RecordType
Fields _fields :: [(Identifier, Expression)]

Instances

Eq RecordType Source #
Instance details Defined in Axel.AST Methods (==) :: RecordType -> RecordType -> Bool # (/=) :: RecordType -> RecordType -> Bool #
Show RecordType Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> RecordType -> ShowS # show :: RecordType -> String # showList :: [RecordType] -> ShowS #
ToHaskell RecordType Source #
Instance details Defined in Axel.AST Methods toHaskell :: RecordType -> String Source #
HasFields RecordType [(Identifier, Expression)] Source #
Instance details Defined in Axel.AST Methods fields :: Lens' RecordType [(Identifier, Expression)] 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 TypeclassDefinition Source #

Constructors

TypeclassDefinition
Fields _name :: Expression _constraints :: [Expression] _signatures :: [TypeSignature]

Instances

Eq TypeclassDefinition Source #
Instance details Defined in Axel.AST Methods (==) :: TypeclassDefinition -> TypeclassDefinition -> Bool # (/=) :: TypeclassDefinition -> TypeclassDefinition -> Bool #
Show TypeclassDefinition Source #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> TypeclassDefinition -> ShowS # show :: TypeclassDefinition -> String # showList :: [TypeclassDefinition] -> ShowS #
ToHaskell TypeclassDefinition Source #
Instance details Defined in Axel.AST Methods toHaskell :: TypeclassDefinition -> String Source #
HasName TypeclassDefinition Expression Source #
Instance details Defined in Axel.AST Methods name :: Lens' TypeclassDefinition Expression Source #
HasSignatures TypeclassDefinition [TypeSignature] Source #
Instance details Defined in Axel.AST Methods signatures :: Lens' TypeclassDefinition [TypeSignature] Source #
HasConstraints TypeclassDefinition [Expression] Source #
Instance details Defined in Axel.AST Methods constraints :: Lens' TypeclassDefinition [Expression] 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 #
HasSignatures TypeclassDefinition [TypeSignature] Source #
Instance details Defined in Axel.AST Methods signatures :: Lens' TypeclassDefinition [TypeSignature] 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 #

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 #
HasName TypeclassDefinition Expression Source #
Instance details Defined in Axel.AST Methods name :: Lens' TypeclassDefinition 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 #
HasIfTrue IfBlock Expression Source #
Instance details Defined in Axel.AST Methods ifTrue :: Lens' IfBlock Expression Source #
HasIfFalse IfBlock Expression Source #
Instance details Defined in Axel.AST Methods ifFalse :: Lens' IfBlock Expression Source #
HasCond IfBlock Expression Source #
Instance details Defined in Axel.AST Methods cond :: Lens' IfBlock 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 RecordDefinition [(Identifier, Expression)] Source #
Instance details Defined in Axel.AST Methods bindings :: Lens' RecordDefinition [(Identifier, Expression)] Source #
HasBindings LetBlock [(Expression, Expression)] Source #
Instance details Defined in Axel.AST Methods bindings :: Lens' LetBlock [(Expression, Expression)] Source #
HasFields RecordType [(Identifier, Expression)] Source #
Instance details Defined in Axel.AST Methods fields :: Lens' RecordType [(Identifier, Expression)] Source #
HasConstraints TypeclassDefinition [Expression] Source #
Instance details Defined in Axel.AST Methods constraints :: Lens' TypeclassDefinition [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 #

_SUnrestrictedImport :: Prism' Statement Identifier Source #

_STypeSynonym :: Prism' Statement TypeSynonym Source #

_STypeSignature :: Prism' Statement TypeSignature Source #

_STypeclassInstance :: Prism' Statement TypeclassInstance Source #

_STypeclassDefinition :: Prism' Statement TypeclassDefinition Source #

_STopLevel :: Prism' Statement TopLevel Source #

_SRestrictedImport :: Prism' Statement RestrictedImport Source #

_SRawStatement :: Prism' Statement String Source #

_SQualifiedImport :: Prism' Statement QualifiedImport Source #

_SPragma :: Prism' Statement Pragma Source #

_SNewtypeDeclaration :: Prism' Statement NewtypeDeclaration Source #

_SModuleDeclaration :: Prism' Statement Identifier Source #

_SMacroImport :: Prism' Statement MacroImport Source #

_SMacroDefinition :: Prism' Statement MacroDefinition Source #

_SFunctionDefinition :: Prism' Statement FunctionDefinition Source #

_SDataDeclaration :: Prism' Statement DataDeclaration Source #

type Program = [Statement] Source #

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

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 #

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 #

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 #

Methods

typeDefinition :: Lens' s a Source #

Instances

HasTypeDefinition TypeSignature Expression Source #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' TypeSignature Expression Source #
HasTypeDefinition NewtypeDeclaration TypeDefinition Source #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' NewtypeDeclaration TypeDefinition 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 #

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 #

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 #

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 #

Methods

name :: Lens' s a Source #

Instances

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

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

Methods

whereBindings :: Lens' s a Source #

Instances

HasWhereBindings FunctionDefinition [FunctionDefinition] Source #
Instance details Defined in Axel.AST Methods whereBindings :: Lens' FunctionDefinition [FunctionDefinition] Source #

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

Methods

bindings :: Lens' s a Source #

Instances

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

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

Methods

cond :: Lens' s a Source #

Instances

HasCond IfBlock Expression Source #
Instance details Defined in Axel.AST Methods cond :: Lens' IfBlock Expression Source #

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

Methods

ifFalse :: Lens' s a Source #

Instances

HasIfFalse IfBlock Expression Source #
Instance details Defined in Axel.AST Methods ifFalse :: Lens' IfBlock Expression Source #

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

Methods

ifTrue :: Lens' s a Source #

Instances

HasIfTrue IfBlock Expression Source #
Instance details Defined in Axel.AST Methods ifTrue :: Lens' IfBlock Expression Source #

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

Methods

functionDefinition :: Lens' s a Source #

Instances

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

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

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 #
HasImports MacroImport [Identifier] Source #
Instance details Defined in Axel.AST Methods imports :: Lens' MacroImport [Identifier] Source #

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

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 #
HasModuleName MacroImport Identifier Source #
Instance details Defined in Axel.AST Methods moduleName :: Lens' MacroImport Identifier Source #

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

Methods

constructor :: Lens' s a Source #

Instances

HasConstructor NewtypeDeclaration FunctionApplication Source #
Instance details Defined in Axel.AST Methods constructor :: Lens' NewtypeDeclaration FunctionApplication Source #

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

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 #

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 HasFields s a | s -> a where Source #

Methods

fields :: Lens' s a Source #

Instances

HasFields RecordType [(Identifier, Expression)] Source #
Instance details Defined in Axel.AST Methods fields :: Lens' RecordType [(Identifier, Expression)] Source #

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

Methods

statements :: Lens' s a Source #

Instances

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

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

Methods

constraints :: Lens' s a Source #

Instances

HasConstraints TypeclassDefinition [Expression] Source #
Instance details Defined in Axel.AST Methods constraints :: Lens' TypeclassDefinition [Expression] Source #

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

Methods

signatures :: Lens' s a Source #

Instances

HasSignatures TypeclassDefinition [TypeSignature] Source #
Instance details Defined in Axel.AST Methods signatures :: Lens' TypeclassDefinition [TypeSignature] Source #

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

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 #

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 #

Methods

definition :: Lens' s a Source #

Instances

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

ECaseBlock CaseBlock
EEmptySExpression
EFunctionApplication FunctionApplication
EIdentifier Identifier
EIfBlock IfBlock
ELambda Lambda
ELetBlock LetBlock
ELiteral Literal
ERawExpression String
ERecordDefinition RecordDefinition
ERecordType RecordType

SDataDeclaration DataDeclaration
SFunctionDefinition FunctionDefinition
SMacroDefinition MacroDefinition
SMacroImport MacroImport
SModuleDeclaration Identifier
SNewtypeDeclaration NewtypeDeclaration
SPragma Pragma
SQualifiedImport QualifiedImport
SRawStatement String
SRestrictedImport RestrictedImport
STopLevel TopLevel
STypeclassDefinition TypeclassDefinition
STypeclassInstance TypeclassInstance
STypeSignature TypeSignature
STypeSynonym TypeSynonym
SUnrestrictedImport Identifier