DDC.Core.Tetra.Prim

Names and lexing.

data Name

Names of things used in Disciple Core Tetra.

Constructors

NameVar !String

User defined variables.

NameCon !String

A user defined constructor.

NameExt !Name !String

An extended name.

NameTyConTetra !TyConTetra

Baked-in type constructors.

NameDaConTetra !DaConTetra

Baked-in data constructors.

NameOpError !OpError !Bool

Baked-in runtime error reporting. The flag indicates whether this is the boxed (False) or unboxed (True) version.

NameOpFun !OpFun

Baked-in function operators.

NameOpVector !OpVector !Bool

Baked-in vector operators. The flag indicates whether this is the boxed (False) or unboxed (True) version.

NamePrimTyCon !PrimTyCon

A primitive type constructor.

NamePrimArith !PrimArith !Bool

Primitive arithmetic, logic, comparison and bit-wise operators. The flag indicates whether this is the boxed (False) or unboxed (True) version.

NamePrimCast !PrimCast !Bool

Primitive numeric casting operators. The flat indicates whether this is the boxed (False) or unboxed (True) version.

NameLitBool !Bool

A boolean literal.

NameLitNat !Integer

A natural literal, with enough precision to count every heap object.

NameLitInt !Integer

An integer literal, with enough precision to count every heap object.

NameLitSize !Integer

An unsigned size literal, with enough precision to count every addressable byte of memory.

NameLitWord !Integer !Int

A word literal, with the given number of bits precision.

NameLitFloat !Double !Int

A floating point literal, with the given number of bits precision.

NameLitChar !Char

A character literal, These are special syntax for a Word32 expressing a Unicode codepoint.

NameLitTextLit !Text

A text literal (UTF-8 encoded) Note that Text and 'TextLit#' are different types. The later is the primitive literal.

NameLitUnboxed !Name

Wrapper to indicate an explicitly unboxed literal.

NameHole

Hole used during type inference.

Instances

Eq Name

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Ord Name

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

isNameHole :: Name -> Bool

Check whether a name is NameHole.

isNameLit :: Name -> Bool

Check whether a name represents some literal value.

isNameLitUnboxed :: Name -> Bool

Check whether a name is an unboxed literal.

readName :: String -> Maybe Name

Read the name of a variable, constructor or literal.

takeTypeOfLitName :: Name -> Maybe (Type Name)

Get the type associated with a literal name.

takeTypeOfPrimOpName :: Name -> Maybe (Type Name)

Take the type of a primitive operator.

Baked-in type constructors.

data TyConTetra

Baked-in type constructors.

Constructors

TyConTetraTuple Int

TupleN#. Tuples.

TyConTetraVector

Vector#. Vectors of unboxed values.

TyConTetraU

U# Unboxed type constructor. Used to represent unboxed numeric values.

TyConTetraF

F# Reified function value.

TyConTetraC

C# Reified function closure.

Instances

Eq TyConTetra

Methods

(==) :: TyConTetra -> TyConTetra -> Bool

(/=) :: TyConTetra -> TyConTetra -> Bool

Ord TyConTetra

Methods

compare :: TyConTetra -> TyConTetra -> Ordering

(<) :: TyConTetra -> TyConTetra -> Bool

(<=) :: TyConTetra -> TyConTetra -> Bool

(>) :: TyConTetra -> TyConTetra -> Bool

(>=) :: TyConTetra -> TyConTetra -> Bool

max :: TyConTetra -> TyConTetra -> TyConTetra

min :: TyConTetra -> TyConTetra -> TyConTetra

Show TyConTetra

Methods

showsPrec :: Int -> TyConTetra -> ShowS

show :: TyConTetra -> String

showList :: [TyConTetra] -> ShowS

readTyConTetra :: String -> Maybe TyConTetra

Read the name of a baked-in type constructor.

kindTyConTetra :: TyConTetra -> Type Name

Take the kind of a baked-in type constructor.

tTupleN :: [Type Name] -> Type Name

Construct a tuple type.

tUnboxed :: Type Name -> Type Name

Construct an unboxed representation type.

tFunValue :: Type Name -> Type Name

Construct a reified function type.

tCloValue :: Type Name -> Type Name

Construct a reified closure type.

tTextLit :: Type Name

The text literal type.

Baked-in data constructors.

data DaConTetra

Data Constructors.

Constructors

DaConTetraTuple Int

TN#. Tuple data constructors.

Instances

Eq DaConTetra

Methods

(==) :: DaConTetra -> DaConTetra -> Bool

(/=) :: DaConTetra -> DaConTetra -> Bool

Ord DaConTetra

Methods

compare :: DaConTetra -> DaConTetra -> Ordering

(<) :: DaConTetra -> DaConTetra -> Bool

(<=) :: DaConTetra -> DaConTetra -> Bool

(>) :: DaConTetra -> DaConTetra -> Bool

(>=) :: DaConTetra -> DaConTetra -> Bool

max :: DaConTetra -> DaConTetra -> DaConTetra

min :: DaConTetra -> DaConTetra -> DaConTetra

Show DaConTetra

Methods

showsPrec :: Int -> DaConTetra -> ShowS

show :: DaConTetra -> String

showList :: [DaConTetra] -> ShowS

readDaConTetra :: String -> Maybe DaConTetra

Read the name of a baked-in data constructor.

typeDaConTetra :: DaConTetra -> Type Name

Yield the type of a baked-in data constructor.

Baked-in function operators.

data OpFun

Operators for building function values and closures. The implicit versions work on functions of type (a -> b), while the explicit versions use expliciy closure types like C# (a -> b).

Constructors

OpFunCurry Int

Partially apply a supecombinator to some arguments, producing an implicitly typed closure.

OpFunApply Int

Apply an implicitly typed closure to some more arguments.

OpFunCReify

Reify a function into an explicit functional value.

OpFunCCurry Int

Apply an explicit functional value to some arguments, producing an explicitly typed closure.

OpFunCExtend Int

Extend an explicitly typed closure with more arguments, producing a new closure.

OpFunCApply Int

Apply an explicitly typed closure to some arguments, possibly evaluating the contained function.

Instances

Eq OpFun

Methods

(==) :: OpFun -> OpFun -> Bool

(/=) :: OpFun -> OpFun -> Bool

Ord OpFun

Methods

compare :: OpFun -> OpFun -> Ordering

(<) :: OpFun -> OpFun -> Bool

(<=) :: OpFun -> OpFun -> Bool

(>) :: OpFun -> OpFun -> Bool

(>=) :: OpFun -> OpFun -> Bool

max :: OpFun -> OpFun -> OpFun

min :: OpFun -> OpFun -> OpFun

Show OpFun

Methods

showsPrec :: Int -> OpFun -> ShowS

show :: OpFun -> String

showList :: [OpFun] -> ShowS

readOpFun :: String -> Maybe OpFun

Read a primitive function operator.

typeOpFun :: OpFun -> Type Name

Take the type of a primitive function operator.

Baked-in vector operators.

data OpVector

Vector operators.

Constructors

OpVectorAlloc

Allocate a new vector of a given length number of elements.

OpVectorLength

Get the length of a vector, in elements.

OpVectorRead

Read a value from a vector.

OpVectorWrite

Write a value to a vector.

Instances

Eq OpVector

Methods

(==) :: OpVector -> OpVector -> Bool

(/=) :: OpVector -> OpVector -> Bool

Ord OpVector

Methods

compare :: OpVector -> OpVector -> Ordering

(<) :: OpVector -> OpVector -> Bool

(<=) :: OpVector -> OpVector -> Bool

(>) :: OpVector -> OpVector -> Bool

(>=) :: OpVector -> OpVector -> Bool

max :: OpVector -> OpVector -> OpVector

min :: OpVector -> OpVector -> OpVector

Show OpVector

Methods

showsPrec :: Int -> OpVector -> ShowS

show :: OpVector -> String

showList :: [OpVector] -> ShowS

readOpVectorFlag :: String -> Maybe (OpVector, Bool)

Read a primitive vector operator, along with the flag that indicates whether this is the boxed or unboxed version.

typeOpVectorFlag :: OpVector -> Bool -> Type Name

Take the type of a primitive vector operator.

data OpError

Operators for runtime error reporting.

Constructors

OpErrorDefault

Raise an error due to inexhaustive case expressions.

Instances

Eq OpError

Methods

(==) :: OpError -> OpError -> Bool

(/=) :: OpError -> OpError -> Bool

Ord OpError

Methods

compare :: OpError -> OpError -> Ordering

(<) :: OpError -> OpError -> Bool

(<=) :: OpError -> OpError -> Bool

(>) :: OpError -> OpError -> Bool

(>=) :: OpError -> OpError -> Bool

max :: OpError -> OpError -> OpError

min :: OpError -> OpError -> OpError

Show OpError

Methods

showsPrec :: Int -> OpError -> ShowS

show :: OpError -> String

showList :: [OpError] -> ShowS

readOpErrorFlag :: String -> Maybe (OpError, Bool)

Read a primitive error operator.

typeOpErrorFlag :: OpError -> Bool -> Type Name

Get the type of a primitive error operator.

Primitive type constructors.

data PrimTyCon :: *

Primitive type constructors.

Constructors

PrimTyConVoid

Void# the Void type has no values.

PrimTyConBool

Bool# unboxed booleans.

PrimTyConNat

Nat# natural numbers. Enough precision to count every object in the heap, but NOT necessearily enough precision to count every byte of memory.

PrimTyConInt

Int# signed integers. Enough precision to count every object in the heap, but NOT necessearily enough precision to count every byte of memory. If N is the total number of objects that can exist in the heap, then the range of Int# is at least (-N .. +N) inclusive.

PrimTyConSize

Size# unsigned sizes. Enough precision to count every addressable bytes of memory.

PrimTyConWord Int

WordN# machine words of the given width.

PrimTyConFloat Int

FloatN# floating point numbers of the given width.

PrimTyConVec Int

VecN# a packed vector of N values. This is intended to have kind (Data -> Data), so we use concrete vector types like Vec4.

PrimTyConAddr

Addr# a relative or absolute machine address. Enough precision to count every byte of memory. Unlike pointers below, an absolute Addr# need not refer to memory owned by the current process.

PrimTyConPtr

Ptr# like Addr#, but with a region and element type annotation. In particular, a value of a type like (Ptr) must be at least 4-byte aligned and point to memory owned by the current process.

PrimTyConTextLit

TextLit# type of a text literal, which is represented as a pointer to the literal data in static memory.

PrimTyConTag

Tag# data constructor tags. Enough precision to count every possible alternative of an enumerated type.

Instances

Eq PrimTyCon

Methods

(==) :: PrimTyCon -> PrimTyCon -> Bool

(/=) :: PrimTyCon -> PrimTyCon -> Bool

Ord PrimTyCon

Methods

compare :: PrimTyCon -> PrimTyCon -> Ordering

(<) :: PrimTyCon -> PrimTyCon -> Bool

(<=) :: PrimTyCon -> PrimTyCon -> Bool

(>) :: PrimTyCon -> PrimTyCon -> Bool

(>=) :: PrimTyCon -> PrimTyCon -> Bool

max :: PrimTyCon -> PrimTyCon -> PrimTyCon

min :: PrimTyCon -> PrimTyCon -> PrimTyCon

Show PrimTyCon

Methods

showsPrec :: Int -> PrimTyCon -> ShowS

show :: PrimTyCon -> String

showList :: [PrimTyCon] -> ShowS

Pretty PrimTyCon

Associated Types

data PrettyMode PrimTyCon :: *

Methods

pprDefaultMode :: PrettyMode PrimTyCon

ppr :: PrimTyCon -> Doc

pprPrec :: Int -> PrimTyCon -> Doc

pprModePrec :: PrettyMode PrimTyCon -> Int -> PrimTyCon -> Doc

NFData PrimTyCon

Methods

rnf :: PrimTyCon -> ()

pprPrimTyConStem :: PrimTyCon -> Doc

Pretty print a primitive type constructor, without the # suffix.

readPrimTyCon :: String -> Maybe PrimTyCon

Read a primitive type constructor.

Words are limited to 8, 16, 32, or 64 bits.

Floats are limited to 32 or 64 bits.

readPrimTyConStem :: String -> Maybe PrimTyCon

Read a primitive type constructor, without the # suffix.

kindPrimTyCon :: PrimTyCon -> Kind Name

Yield the kind of a type constructor.

Primitive arithmetic operators.

data PrimArith :: *

Primitive arithmetic, logic, and comparison opretors. We expect the backend/machine to be able to implement these directly.

For the Shift Right operator, the type that it is used at determines whether it is an arithmetic (with sign-extension) or logical (no sign-extension) shift.

Constructors

PrimArithNeg

Negation

PrimArithAdd

Addition

PrimArithSub

Subtraction

PrimArithMul

Multiplication

PrimArithDiv

Division

PrimArithMod

Modulus

PrimArithRem

Remainder

PrimArithEq

Equality

PrimArithNeq

Negated Equality

PrimArithGt

Greater Than

PrimArithGe

Greater Than or Equal

PrimArithLt

Less Than

PrimArithLe

Less Than or Equal

PrimArithAnd

Boolean And

PrimArithOr

Boolean Or

PrimArithShl

Shift Left

PrimArithShr

Shift Right

PrimArithBAnd

Bit-wise And

PrimArithBOr

Bit-wise Or

PrimArithBXOr

Bit-wise eXclusive Or

Instances

Eq PrimArith

Methods

(==) :: PrimArith -> PrimArith -> Bool

(/=) :: PrimArith -> PrimArith -> Bool

Ord PrimArith

Methods

compare :: PrimArith -> PrimArith -> Ordering

(<) :: PrimArith -> PrimArith -> Bool

(<=) :: PrimArith -> PrimArith -> Bool

(>) :: PrimArith -> PrimArith -> Bool

(>=) :: PrimArith -> PrimArith -> Bool

max :: PrimArith -> PrimArith -> PrimArith

min :: PrimArith -> PrimArith -> PrimArith

Show PrimArith

Methods

showsPrec :: Int -> PrimArith -> ShowS

show :: PrimArith -> String

showList :: [PrimArith] -> ShowS

Pretty PrimArith

Associated Types

data PrettyMode PrimArith :: *

Methods

pprDefaultMode :: PrettyMode PrimArith

ppr :: PrimArith -> Doc

pprPrec :: Int -> PrimArith -> Doc

pprModePrec :: PrettyMode PrimArith -> Int -> PrimArith -> Doc

NFData PrimArith

Methods

rnf :: PrimArith -> ()

readPrimArithFlag :: String -> Maybe (PrimArith, Bool)

Read a primitive operator.

typePrimArithFlag :: PrimArith -> Bool -> Type Name

Take the type of a primitive arithmetic operator.

Primitive numeric casts.

data PrimCast :: *

Primitive cast between two types.

The exact set of available casts is determined by the target platform. For example, you can only promote a Nat# to a Word32# on a 32-bit system. On a 64-bit system the Nat# type is 64-bits wide, so casting it to a Word32# would be a truncation.

Constructors

PrimCastConvert

Convert a value to a new representation with the same precision.

PrimCastPromote

Promote a value to one of similar or larger width, without loss of precision.

PrimCastTruncate

Truncate a value to a new width, possibly losing precision.

Instances

Eq PrimCast

Methods

(==) :: PrimCast -> PrimCast -> Bool

(/=) :: PrimCast -> PrimCast -> Bool

Ord PrimCast

Methods

compare :: PrimCast -> PrimCast -> Ordering

(<) :: PrimCast -> PrimCast -> Bool

(<=) :: PrimCast -> PrimCast -> Bool

(>) :: PrimCast -> PrimCast -> Bool

(>=) :: PrimCast -> PrimCast -> Bool

max :: PrimCast -> PrimCast -> PrimCast

min :: PrimCast -> PrimCast -> PrimCast

Show PrimCast

Methods

showsPrec :: Int -> PrimCast -> ShowS

show :: PrimCast -> String

showList :: [PrimCast] -> ShowS

Pretty PrimCast

Associated Types

data PrettyMode PrimCast :: *

Methods

pprDefaultMode :: PrettyMode PrimCast

ppr :: PrimCast -> Doc

pprPrec :: Int -> PrimCast -> Doc

pprModePrec :: PrettyMode PrimCast -> Int -> PrimCast -> Doc

NFData PrimCast

Methods

rnf :: PrimCast -> ()

readPrimCastFlag :: String -> Maybe (PrimCast, Bool)

Read a primitive cast operator.

typePrimCastFlag :: PrimCast -> Bool -> Type Name

Take the type of a primitive numeric cast operator.

Orphan instances

Pretty Name

Associated Types

data PrettyMode Name :: *

Methods

pprDefaultMode :: PrettyMode Name

ppr :: Name -> Doc

pprPrec :: Int -> Name -> Doc

pprModePrec :: PrettyMode Name -> Int -> Name -> Doc

CompoundName Name

Methods

extendName :: Name -> String -> Name

newVarName :: String -> Name

splitName :: Name -> Maybe (Name, String)

NFData Name

Methods

rnf :: Name -> ()