Database.Ferry.SyntaxTyped

Everything related to typed core

Documentation

type Ident = 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

data Op where

Constructors

Op :: String -> Op

Instances

Show Op

data CoreExpr where

Constructors

BinOp :: Qual FType -> Op -> CoreExpr -> CoreExpr -> CoreExpr

Constant :: Qual FType -> Const -> CoreExpr

Var :: Qual FType -> String -> CoreExpr

App :: Qual FType -> CoreExpr -> Param -> CoreExpr

Let :: Qual FType -> String -> CoreExpr -> CoreExpr -> CoreExpr

Rec :: Qual FType -> [RecElem] -> CoreExpr

Cons :: Qual FType -> CoreExpr -> CoreExpr -> CoreExpr

Nil :: Qual FType -> CoreExpr

Elem :: Qual FType -> CoreExpr -> String -> CoreExpr

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

If :: Qual FType -> CoreExpr -> CoreExpr -> CoreExpr -> CoreExpr

Instances

Show CoreExpr

HasType CoreExpr

Substitutable CoreExpr

Run a substitution over a typed AST

Dotify CoreExpr

data RecElem where

Constructors

RecElem :: Qual FType -> String -> CoreExpr -> RecElem

Instances

Show RecElem

Substitutable RecElem

data Param where

Constructors

ParExpr :: Qual FType -> CoreExpr -> Param

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

Instances

Show Param

HasType Param

Substitutable Param

data Column where

Constructors

Column :: String -> FType -> Column

Instances

Show Column

data Key where

Constructors

Key :: [String] -> Key

Instances

Show Key

int :: FType

float :: FType

string :: FType

bool :: FType

list :: FType -> FType

var :: Ident -> FType

rec :: [(RLabel, FType)] -> FType

fn :: FType -> FType -> FType

genT :: Int -> FType

(.->) :: FType -> FType -> FType

data TyScheme where

A type scheme represents a quantified type

Constructors

Forall :: TyGens -> RecGens -> Qual FType -> TyScheme

Instances

Show TyScheme

VarContainer TyScheme

VarContainer TyEnv

Substitutable TyScheme

Run a substitution over a typescheme, note that bound variables are *NOT* touched by a substitution

Substitutable TyEnv

Run a substitution over all types in the type environment

data Qual t where

A qualified type is a type with some predicates ([predicates] :=> type)

Constructors

:=> :: [Pred] -> t -> Qual t

Instances

Show t => Show (Qual t)

VarContainer t => VarContainer (Qual t)

Substitutable t => Substitutable (Qual t)

Run a substitution over a qualified type

Pretty a => Pretty (Qual a)

data Pred

Predicates relating to records

Constructors

IsIn String FType

name IsIn t -> t is a record (or type variable) that contains at least a field name

Has FType RLabel FType

Similaar to IsIn but now with a type for the name

Instances

Eq Pred

Show Pred

VarContainer Pred

Substitutable Pred

Run a substitution over a predicate

Pretty Pred

data FType where

Type language

Constructors

FGen :: Int -> FType

FUnit :: FType

FInt :: FType

FFloat :: FType

FString :: FType

FBool :: FType

FList :: FType -> FType

FVar :: Ident -> FType

FRec :: [(RLabel, FType)] -> FType

FFn :: FType -> FType -> FType

FTF :: FTFn -> FType -> FType

Instances

Eq FType

Ord FType

Show FType

VarContainer FType

Substitutable FType

Run a substitution over a simple type

Pretty FType

Pretty (RLabel, FType)

data RLabel where

Language for record labels

Constructors

RLabel :: String -> RLabel

RGen :: Int -> RLabel

RVar :: String -> RLabel

Instances

Eq RLabel

Ord RLabel

Show RLabel

VarContainer RLabel

Substitutable RLabel

Pretty RLabel

Pretty (RLabel, FType)

data FTFn where

Type functions

Constructors

Tr :: FTFn

Tr' :: FTFn

Instances

Eq FTFn

Ord FTFn

Show FTFn

Pretty FTFn

class HasType a where

Everything that contains a type.

Methods

typeOf :: a -> Qual FType

Instances

HasType Param

HasType CoreExpr

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