DDC.Core.Flow.Compounds

Short-hands for constructing compound expressions.

Documentation

module DDC.Core.Compounds.Simple

Fragment specific kinds

kRate :: Type Name

Fragment specific types

tTuple1 :: Type Name -> Type Name

tTuple2 :: Type Name -> Type Name -> Type Name

tTupleN :: [Type Name] -> Type Name

tVector :: Type Name -> Type Name

tSeries :: Type Name -> Type Name -> Type Name

tSegd :: Type Name -> Type Name -> Type Name

tSel1 :: Type Name -> Type Name -> Type Name

tSel2 :: Type Name -> Type Name -> Type Name -> Type Name

tRef :: Type Name -> Type Name

tWorld :: Type Name

tRateNat :: Type Name -> Type Name

Primtiive types

tVoid :: Type Name

Primitive `Void#` type.

tBool :: Type Name

Primitive `Bool#` type.

tNat :: Type Name

Primitive Nat# type.

tInt :: Type Name

Primitive `Int#` type.

tWord :: Int -> Type Name

Primitive `WordN#` type of the given width.

Primitive literals and data constructors

xBool :: Bool -> Exp a Name

A literal Bool#

dcBool :: Bool -> DaCon Name

A literal Bool# data constructor.

xNat :: Integer -> Exp a Name

A literal Nat#

dcNat :: Integer -> DaCon Name

A Literal Nat# data constructor.

dcTuple1 :: DaCon Name

Data constructor for Tuple1#

xTuple2 :: Type Name -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

Construct a Tuple2#

dcTuple2 :: DaCon Name

Data constructor for Tuple2#

dcTupleN :: Int -> DaCon Name

Data constructor for n-tuples

Flow operators

xRateOfSeries :: Type Name -> Type Name -> Exp () Name -> Exp () Name

xNatOfRateNat :: Type Name -> Exp () Name -> Exp () Name

Loop operators

xLoopLoopN :: Type Name -> Exp () Name -> Exp () Name -> Exp () Name

xLoopGuard

Arguments

:: Exp () Name

Reference to guard counter.

-> Exp () Name

Boolean flag to test.

-> Exp () Name

Body of guard.

-> Exp () Name

Store operators

xNew :: Type Name -> Exp () Name -> Exp () Name

xRead :: Type Name -> Exp () Name -> Exp () Name

xWrite :: Type Name -> Exp () Name -> Exp () Name -> Exp () Name

xNewVector :: Type Name -> Exp () Name -> Exp () Name

xReadVector :: Type Name -> Exp () Name -> Exp () Name -> Exp () Name

xWriteVector :: Type Name -> Exp () Name -> Exp () Name -> Exp () Name -> Exp () Name

xNewVectorR :: Type Name -> Type Name -> Exp () Name

xNewVectorN :: Type Name -> Type Name -> Exp () Name -> Exp () Name

xSliceVector :: Type Name -> Exp () Name -> Exp () Name -> Exp () Name

xNext :: Type Name -> Type Name -> Exp () Name -> Exp () Name -> Exp () Name