Safe Haskell	None

DDC.Core.Flow.Prim

Contents

Names and lexing
Fragment specific kind constructors
Fragment specific type constructors
Fragment specific data constructors
Flow operators
Loop operators
Store operators
Primitive type constructors
Primitive arithmetic operators
Casting between primitive types

Synopsis

Names and lexing

data Name Source

Names of things used in Disciple Core Flow.

Constructors

NameVar String	User defined variables.
NameVarMod Name String	A name generated by modifying some other name `name$mod`
NameCon String	A user defined constructor.
NameKiConFlow KiConFlow	Fragment specific kind constructors.
NameTyConFlow TyConFlow	Fragment specific type constructors.
NameDaConFlow DaConFlow	Fragment specific data constructors.
NameOpFlow OpFlow	Flow operators.
NameOpLoop OpLoop	Loop operators.
NameOpStore OpStore	Store operators.
NamePrimTyCon PrimTyCon	A primitive type constructor.
NamePrimArith PrimArith	Primitive arithmetic, logic, comparison and bit-wise operators.
NamePrimCast PrimCast	Primitive casting between numeric types.
NameLitBool Bool	A boolean literal.
NameLitNat Integer	A natural literal.
NameLitInt Integer	An integer literal.
NameLitWord Integer Int	A word literal.

Instances

Eq Name
Ord Name
Show Name
Typeable Name
Pretty Name
NFData Name

readName :: String -> Maybe Name Source

Read the name of a variable, constructor or literal.

Fragment specific kind constructors

data KiConFlow Source

Fragment specific kind constructors.

Constructors

KiConFlowRate

Instances

Eq KiConFlow
Ord KiConFlow
Show KiConFlow
Pretty KiConFlow
NFData KiConFlow

readKiConFlow :: String -> Maybe KiConFlow Source

Read a kind constructor name.

Fragment specific type constructors

data TyConFlow Source

Fragment specific type constructors.

Constructors

TyConFlowTuple Int	`TupleN#` constructor. Tuples.
TyConFlowVector	`Vector#` constructor. Vectors.
TyConFlowSeries	`Series#` constructor. Series types.
TyConFlowSegd	`Segd#` constructor. Segment Descriptors.
TyConFlowSel Int	`SelN#` constructor. Selectors.
TyConFlowRef	`Ref#` constructor. References.
TyConFlowWorld	`World#` constructor. State token used when converting to GHC core.
TyConFlowRateNat	`RateNat#` constructor. Naturals witnessing a type-level Rate.

Instances

Eq TyConFlow
Ord TyConFlow
Show TyConFlow
Pretty TyConFlow
NFData TyConFlow

readTyConFlow :: String -> Maybe TyConFlow Source

Read a type constructor name.

kindTyConFlow :: TyConFlow -> Kind Name Source

Yield the kind of a primitive type constructor.

Fragment specific data constructors

data DaConFlow Source

Primitive data constructors.

Constructors

DaConFlowTuple Int

TN data constructor.

Instances

Eq DaConFlow
Ord DaConFlow
Show DaConFlow
Pretty DaConFlow
NFData DaConFlow

readDaConFlow :: String -> Maybe DaConFlow Source

Read a data constructor name.

typeDaConFlow :: DaConFlow -> Type Name Source

Yield the type of a data constructor.

Flow operators

data OpFlow Source

Flow operators.

Constructors

OpFlowVectorOfSeries
OpFlowRateOfSeries
OpFlowNatOfRateNat
OpFlowMkSel Int
OpFlowMap Int
OpFlowRep
OpFlowReps
OpFlowFold
OpFlowFoldIndex
OpFlowFolds
OpFlowUnfold
OpFlowUnfolds
OpFlowSplit Int
OpFlowCombine Int
OpFlowPack

Instances

Eq OpFlow
Ord OpFlow
Show OpFlow
Pretty OpFlow
NFData OpFlow

readOpFlow :: String -> Maybe OpFlow Source

Read a data flow operator name.

typeOpFlow :: OpFlow -> Type Name Source

Yield the type of a data flow operator, or error if there isn't one.

Loop operators

data OpLoop Source

Loop operators.

Constructors

OpLoopLoop
OpLoopLoopN
OpLoopGuard

Instances

Eq OpLoop
Ord OpLoop
Show OpLoop
Pretty OpLoop
NFData OpLoop

readOpLoop :: String -> Maybe OpLoop Source

Read a loop operator name.

typeOpLoop :: OpLoop -> Type Name Source

Yield the type of a loop operator.

Store operators

data OpStore Source

Store operators.

Constructors

OpStoreNew	Allocate a new reference.
OpStoreRead	Read from a reference.
OpStoreWrite	Write to a reference.
OpStoreNewVector	Allocate a new vector (taking a `Nat` for the length)
OpStoreNewVectorR	Allocate a new vector (taking a `Rate` for the length)
OpStoreNewVectorN	Allocate a new vector (taking a `RateNat` for the length)
OpStoreReadVector	Read from a vector.
OpStoreWriteVector	Write to a vector.
OpStoreSliceVector	Slice after a pack/filter (taking a `Nat` for new length)
OpStoreNext	Take the next element from a series.

Instances

Eq OpStore
Ord OpStore
Show OpStore
Pretty OpStore
NFData OpStore

readOpStore :: String -> Maybe OpStore Source

Read a store operator name.

typeOpStore :: OpStore -> Type Name Source

Yield the type of a store 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. Big enough to count every addressable byte in the store.
PrimTyConInt	`Int#` signed integers.
PrimTyConWord Int	`WordN#` machine words of the given width.
PrimTyConFloat Int	`FloatN#` floating point numbers of the given width.
PrimTyConTag	`Tag#` data constructor tags.
PrimTyConAddr	`Addr#` raw machine addresses. Unlike pointers below, a raw `Addr#` need not to refer to memory owned by the current process.
PrimTyConPtr	`Ptr#` should point to a well-formed object owned by the current process.
PrimTyConString	`String#` of UTF8 characters. These are primitive until we can define our own unboxed types.

Instances

Eq PrimTyCon
Ord PrimTyCon
Show PrimTyCon
Pretty PrimTyCon
NFData PrimTyCon

kindPrimTyCon :: PrimTyCon -> Kind Name Source

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
Ord PrimArith
Show PrimArith
Pretty PrimArith
NFData PrimArith

typePrimArith :: PrimArith -> Type Name Source

Take the type of a primitive arithmetic operator.

Casting between primitive types

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

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
Ord PrimCast
Show PrimCast
Pretty PrimCast
NFData PrimCast

typePrimCast :: PrimCast -> Type Name Source

Take the type of a primitive cast.