DDC.Core.Flow.Compounds

Fragment specific kinds

kRate

Fragment specific types

isRateNatType

isSeriesType

isRefType

isVectorType

tTuple1

tTuple2

tTupleN

tVector

tSeries

tSegd

tSel1

tSel2

tRef

tWorld

tRateNat

tDown

tTail

tProcess

Primtiive types

tVoid

tBool

tNat

tInt

tWord

tFloat

tVec

Primitive literals and data constructors

xBool

dcBool

xNat

dcNat

dcTuple1

xTuple2

dcTuple2

dcTupleN

Primitive Vec operators

xvRep

xvProj

xvGather

xvScatter

Series operators

xProj

xRateOfSeries

xNatOfRateNat

xNext

xNextC

xDown

xTail

Control operators

xLoopN

xGuard

xSegment

xSplit

Store operators

xNew

xRead

xWrite

xNewVector

xNewVectorR

xNewVectorN

xReadVector

xReadVectorC

xWriteVector

xWriteVectorC

xTailVector

xTruncVector