Safe Haskell	None
Language	Haskell2010

Axel.AST

Documentation

class ToHaskell a where #

Methods

toHaskell :: a -> String #

Instances

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

type Identifier = String #

data CaseBlock #

Constructors

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

Instances

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

data FunctionApplication #

Constructors

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

Instances

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

data IfBlock #

Constructors

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

Instances

Eq IfBlock #
Instance details Defined in Axel.AST Methods (==) :: IfBlock -> IfBlock -> Bool # (/=) :: IfBlock -> IfBlock -> Bool #
Show IfBlock #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> IfBlock -> ShowS # show :: IfBlock -> String # showList :: [IfBlock] -> ShowS #
ToHaskell IfBlock #
Instance details Defined in Axel.AST Methods toHaskell :: IfBlock -> String #
HasIfTrue IfBlock Expression #
Instance details Defined in Axel.AST Methods ifTrue :: Lens' IfBlock Expression #
HasIfFalse IfBlock Expression #
Instance details Defined in Axel.AST Methods ifFalse :: Lens' IfBlock Expression #
HasCond IfBlock Expression #
Instance details Defined in Axel.AST Methods cond :: Lens' IfBlock Expression #

newtype TopLevel #

Constructors

TopLevel
Fields _statements :: [Statement]

Instances

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

data TypeDefinition #

Constructors

ProperType Identifier
TypeConstructor FunctionApplication

Instances

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

data DataDeclaration #

Constructors

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

Instances

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

data NewtypeDeclaration #

Constructors

NewtypeDeclaration
Fields _typeDefinition :: TypeDefinition _constructor :: FunctionApplication

Instances

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

data FunctionDefinition #

Constructors

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

Instances

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

data Import #

Constructors

ImportItem Identifier
ImportType Identifier [Identifier]

Instances

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

data ImportSpecification #

Constructors

ImportAll
ImportOnly [Import]

Instances

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

data Lambda #

Constructors

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

Instances

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

data LetBlock #

Constructors

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

Instances

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

newtype MacroDefinition #

Constructors

MacroDefinition
Fields _functionDefinition :: FunctionDefinition

Instances

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

data MacroImport #

Constructors

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

Instances

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

newtype Pragma #

Constructors

Pragma
Fields _pragmaSpecification :: String

Instances

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

data QualifiedImport #

Constructors

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

Instances

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

newtype RecordDefinition #

Constructors

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

Instances

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

newtype RecordType #

Constructors

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

Instances

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

data RestrictedImport #

Constructors

RestrictedImport
Fields _moduleName :: Identifier _imports :: ImportSpecification

Instances

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

data TypeclassDefinition #

Constructors

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

Instances

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

data TypeclassInstance #

Constructors

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

Instances

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

data TypeSignature #

Constructors

TypeSignature
Fields _name :: Identifier _typeDefinition :: Expression

Instances

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

data TypeSynonym #

Constructors

TypeSynonym
Fields _alias :: Expression _definition :: Expression

Instances

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

data Expression #

Instances

Eq Expression #
Instance details Defined in Axel.AST Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Show Expression #
Instance details Defined in Axel.AST Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Recursive Expression #
Instance details Defined in Axel.AST Methods bottomUpFmap :: (Expression -> Expression) -> Expression -> Expression # bottomUpTraverse :: Monad m => (Expression -> m Expression) -> Expression -> m Expression # topDownFmap :: (Expression -> Expression) -> Expression -> Expression #
ToHaskell Expression #
Instance details Defined in Axel.AST Methods toHaskell :: Expression -> String #
HasExpr CaseBlock Expression #
Instance details Defined in Axel.AST Methods expr :: Lens' CaseBlock Expression #
HasTypeDefinition TypeSignature Expression #
Instance details Defined in Axel.AST Methods typeDefinition :: Lens' TypeSignature Expression #
HasFunction FunctionApplication Expression #
Instance details Defined in Axel.AST Methods function :: Lens' FunctionApplication Expression #
HasName TypeclassDefinition Expression #
Instance details Defined in Axel.AST Methods name :: Lens' TypeclassDefinition Expression #
HasBody LetBlock Expression #
Instance details Defined in Axel.AST Methods body :: Lens' LetBlock Expression #
HasBody Lambda Expression #
Instance details Defined in Axel.AST Methods body :: Lens' Lambda Expression #
HasBody FunctionDefinition Expression #
Instance details Defined in Axel.AST Methods body :: Lens' FunctionDefinition Expression #
HasIfTrue IfBlock Expression #
Instance details Defined in Axel.AST Methods ifTrue :: Lens' IfBlock Expression #
HasIfFalse IfBlock Expression #
Instance details Defined in Axel.AST Methods ifFalse :: Lens' IfBlock Expression #
HasCond IfBlock Expression #
Instance details Defined in Axel.AST Methods cond :: Lens' IfBlock Expression #
HasAlias TypeSynonym Expression #
Instance details Defined in Axel.AST Methods alias :: Lens' TypeSynonym Expression #
HasInstanceName TypeclassInstance Expression #
Instance details Defined in Axel.AST Methods instanceName :: Lens' TypeclassInstance Expression #
HasDefinition TypeSynonym Expression #
Instance details Defined in Axel.AST Methods definition :: Lens' TypeSynonym Expression #
HasMatches CaseBlock [(Expression, Expression)] #
Instance details Defined in Axel.AST Methods matches :: Lens' CaseBlock [(Expression, Expression)] #
HasArguments Lambda [Expression] #
Instance details Defined in Axel.AST Methods arguments :: Lens' Lambda [Expression] #
HasArguments FunctionDefinition [Expression] #
Instance details Defined in Axel.AST Methods arguments :: Lens' FunctionDefinition [Expression] #
HasArguments FunctionApplication [Expression] #
Instance details Defined in Axel.AST Methods arguments :: Lens' FunctionApplication [Expression] #
HasBindings RecordDefinition [(Identifier, Expression)] #
Instance details Defined in Axel.AST Methods bindings :: Lens' RecordDefinition [(Identifier, Expression)] #
HasBindings LetBlock [(Expression, Expression)] #
Instance details Defined in Axel.AST Methods bindings :: Lens' LetBlock [(Expression, Expression)] #
HasFields RecordType [(Identifier, Expression)] #
Instance details Defined in Axel.AST Methods fields :: Lens' RecordType [(Identifier, Expression)] #
HasConstraints TypeclassDefinition [Expression] #
Instance details Defined in Axel.AST Methods constraints :: Lens' TypeclassDefinition [Expression] #

data Literal #

Constructors

LChar Char
LInt Int
LString String

Instances

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

data Statement #

Instances

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

_SUnrestrictedImport :: Prism' Statement Identifier #

_STypeSynonym :: Prism' Statement TypeSynonym #

_STypeSignature :: Prism' Statement TypeSignature #

_STypeclassInstance :: Prism' Statement TypeclassInstance #

_STypeclassDefinition :: Prism' Statement TypeclassDefinition #

_STopLevel :: Prism' Statement TopLevel #

_SRestrictedImport :: Prism' Statement RestrictedImport #

_SRawStatement :: Prism' Statement String #

_SQualifiedImport :: Prism' Statement QualifiedImport #

_SPragma :: Prism' Statement Pragma #

_SNewtypeDeclaration :: Prism' Statement NewtypeDeclaration #

_SModuleDeclaration :: Prism' Statement Identifier #

_SMacroImport :: Prism' Statement MacroImport #

_SMacroDefinition :: Prism' Statement MacroDefinition #

_SFunctionDefinition :: Prism' Statement FunctionDefinition #

_SDataDeclaration :: Prism' Statement DataDeclaration #

type Program = [Statement] #

class HasExpr s a | s -> a where #

Methods

expr :: Lens' s a #

Instances

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

class HasMatches s a | s -> a where #

Methods

matches :: Lens' s a #

Instances

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

class HasConstructors s a | s -> a where #

Methods

constructors :: Lens' s a #

Instances

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

class HasTypeDefinition s a | s -> a where #

Methods

typeDefinition :: Lens' s a #

Instances

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

class HasArguments s a | s -> a where #

Methods

arguments :: Lens' s a #

Instances

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

class HasFunction s a | s -> a where #

Methods

function :: Lens' s a #

Instances

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

class HasBody s a | s -> a where #

Methods

body :: Lens' s a #

Instances

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

class HasName s a | s -> a where #

Methods

name :: Lens' s a #

Instances

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

class HasWhereBindings s a | s -> a where #

Methods

whereBindings :: Lens' s a #

Instances

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

class HasBindings s a | s -> a where #

Methods

bindings :: Lens' s a #

Instances

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

class HasCond s a | s -> a where #

Methods

cond :: Lens' s a #

Instances

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

class HasIfFalse s a | s -> a where #

Methods

ifFalse :: Lens' s a #

Instances

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

class HasIfTrue s a | s -> a where #

Methods

ifTrue :: Lens' s a #

Instances

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

class HasFunctionDefinition s a | s -> a where #

Methods

functionDefinition :: Lens' s a #

Instances

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

class HasImports s a | s -> a where #

Methods

imports :: Lens' s a #

Instances

HasImports RestrictedImport ImportSpecification #
Instance details Defined in Axel.AST Methods imports :: Lens' RestrictedImport ImportSpecification #
HasImports QualifiedImport ImportSpecification #
Instance details Defined in Axel.AST Methods imports :: Lens' QualifiedImport ImportSpecification #
HasImports MacroImport [Identifier] #
Instance details Defined in Axel.AST Methods imports :: Lens' MacroImport [Identifier] #

class HasModuleName s a | s -> a where #

Methods

moduleName :: Lens' s a #

Instances

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

class HasConstructor s a | s -> a where #

Methods

constructor :: Lens' s a #

Instances

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

class HasPragmaSpecification s a | s -> a where #

Methods

pragmaSpecification :: Lens' s a #

Instances

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

class HasAlias s a | s -> a where #

Methods

alias :: Lens' s a #

Instances

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

class HasFields s a | s -> a where #

Methods

fields :: Lens' s a #

Instances

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

class HasStatements s a | s -> a where #

Methods

statements :: Lens' s a #

Instances

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

class HasConstraints s a | s -> a where #

Methods

constraints :: Lens' s a #

Instances

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

class HasSignatures s a | s -> a where #

Methods

signatures :: Lens' s a #

Instances

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

class HasDefinitions s a | s -> a where #

Methods

definitions :: Lens' s a #

Instances

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

class HasInstanceName s a | s -> a where #

Methods

instanceName :: Lens' s a #

Instances

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

class HasDefinition s a | s -> a where #

Methods

definition :: Lens' s a #

Instances

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

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