Database.Ferry.Syntax

Everything related to untyped core

Documentation

type Ident = String

An identifier is represented by a string

type Identifier = String

Identifiers are represented as strings

data Const

Constant values

Constructors

CInt Integer

CFloat Double

CBool Bool

CString String

CUnit

Instances

Eq Const

Show Const

class VarContainer a where

Type class for extracting all variables that occur in a value of type a

Methods

vars :: a -> [Identifier]

data Op where

Operator constructor

Constructors

Op :: String -> Op

data CoreExpr where

Datatype for building untyped core ASTs

Constructors

BinOp :: Op -> CoreExpr -> CoreExpr -> CoreExpr

Constant :: Const -> CoreExpr

Var :: String -> CoreExpr

App :: CoreExpr -> Param -> CoreExpr

Let :: String -> CoreExpr -> CoreExpr -> CoreExpr

Rec :: [RecElem] -> CoreExpr

Cons :: CoreExpr -> CoreExpr -> CoreExpr

Nil :: CoreExpr

Elem :: CoreExpr -> String -> CoreExpr

Table :: String -> [Column] -> [Key] -> CoreExpr

If :: CoreExpr -> CoreExpr -> CoreExpr -> CoreExpr

Instances

Dotify CoreExpr

data RecElem where

Record elements

Constructors

RecElem :: String -> CoreExpr -> RecElem

data Param where

Function arguments In future, that is when defunctionalisation is implemented function arguments should just be expressions.

Constructors

ParExpr :: CoreExpr -> Param

ParAbstr :: [String] -> CoreExpr -> Param

data Column where

Database table column

Constructors

Column :: String -> Type -> Column

data Key where

Database table key

Constructors

Key :: [String] -> Key

data Type

Database column type

Constructors

TInt

TFloat

TString

TBool

TUnit

Instances

Pretty Type

class Dotify a where

Class for transforming values into either an error or a string representing a dot file.

Methods

dot :: a -> Either FerryError String

Instances

Dotify CoreExpr

Dotify CoreExpr

class Pretty a where

Class for pretty printing a value of a.

Methods

pretty :: a -> Int -> String

pretty function transforms a value of a into a string with identation i.

Instances

Pretty FTFn

Pretty RLabel

Pretty FType

Pretty Pred

Pretty Type

Pretty a => Pretty (Qual a)

Pretty (RLabel, FType)

prettyPrint :: Pretty a => a -> String

Shorthand for pretty without the identation argument

newLine :: Int -> String

A newline followed by indenting n positions

mapIntersperseConcat :: (a -> [b]) -> [b] -> [a] -> [b]

maps its first argument over the third, then intersperses the result with the second argument, and finally concatenates everything.

intersperseComma :: Pretty a => [a] -> Int -> String

Pretty print the values xs then intersperse with a comma and transform it into one string