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

isRateNatType :: Type Name -> Bool

Check if some type is a fully applied type of a RateNat

isSeriesType :: Type Name -> Bool

Check if some type is a fully applied type of a Series.

isRefType :: Type Name -> Bool

Check is some type is a fully applied type of a Ref.

isVectorType :: Type Name -> Bool

Check is some type is a fully applied type of a Vector.

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

tDown :: Int -> Type Name -> Type Name

tTail :: Int -> Type Name -> Type Name

tProcess :: 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.

tFloat :: Int -> Type Name

Primitive `FloatN#` type of the given width.

tVec :: Int -> Type Name -> Type Name

Primitive VecN# a.

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

Primitive Vec operators

xvRep :: Int -> Type Name -> Exp () Name -> Exp () Name

xvProj :: Int -> Int -> Type Name -> Exp () Name -> Exp () Name

xvGather :: Int -> Type Name -> Exp () Name -> Exp () Name -> Exp () Name

xvScatter :: Int -> Type Name -> Exp () Name -> Exp () Name -> Exp () Name -> Exp () Name

Series operators

xProj :: [Type Name] -> Int -> Exp () Name -> Exp () Name

xRateOfSeries :: TypeF -> TypeF -> ExpF -> ExpF

xNatOfRateNat :: TypeF -> ExpF -> ExpF

xNext :: TypeF -> TypeF -> ExpF -> ExpF -> ExpF

xNextC :: Int -> TypeF -> TypeF -> ExpF -> ExpF -> ExpF

xDown :: Int -> TypeF -> TypeF -> ExpF -> ExpF -> ExpF

xTail :: Int -> TypeF -> TypeF -> ExpF -> ExpF -> ExpF

Control operators

xLoopN :: TypeF -> ExpF -> ExpF -> ExpF

xGuard :: ExpF -> ExpF -> ExpF -> ExpF

xSegment :: ExpF -> ExpF -> ExpF -> ExpF

xSplit :: Int -> TypeF -> ExpF -> ExpF -> ExpF -> ExpF

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

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

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

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

xReadVectorC :: Int -> Type Name -> Exp () Name -> Exp () Name -> Exp () Name

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

xWriteVectorC :: Int -> Type Name -> Exp () Name -> Exp () Name -> Exp () Name -> Exp () Name

xTailVector :: Int -> Type Name -> Type Name -> Exp () Name -> Exp () Name -> Exp () Name

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