DDC.Core.Flow.Compounds

Short-hands for constructing compound expressions.

Documentation

module DDC.Type.Exp.Simple.Compounds

Lambdas

xLAMs :: [Bind n] -> Exp a n -> Exp a n

Make some nested type lambdas.

xLams :: [Bind n] -> Exp a n -> Exp a n

Make some nested value or witness lambdas.

makeXLamFlags :: [(Bool, Bind n)] -> Exp a n -> Exp a n

Make some nested lambda abstractions, using a flag to indicate whether the lambda is a level-1 (True), or level-0 (False) binder.

takeXLAMs :: Exp a n -> Maybe ([Bind n], Exp a n)

Split type lambdas from the front of an expression, or Nothing if there aren't any.

takeXLams :: Exp a n -> Maybe ([Bind n], Exp a n)

Split nested value or witness lambdas from the front of an expression, or Nothing if there aren't any.

takeXLamFlags :: Exp a n -> Maybe ([(Bool, Bind n)], Exp a n)

Split nested lambdas from the front of an expression, with a flag indicating whether the lambda was a level-1 (True), or level-0 (False) binder.

Applications

xApps :: Exp a n -> [Exp a n] -> Exp a n

Build sequence of value applications.

takeXApps :: Exp a n -> Maybe (Exp a n, [Exp a n])

Flatten an application into the function part and its arguments.

Returns Nothing if there is no outer application.

takeXApps1 :: Exp a n -> Exp a n -> (Exp a n, [Exp a n])

Flatten an application into the function part and its arguments.

This is like takeXApps above, except we know there is at least one argument.

takeXAppsAsList :: Exp a n -> [Exp a n]

Flatten an application into the function parts and arguments, if any.

takeXConApps :: Exp a n -> Maybe (DaCon n (Type n), [Exp a n])

Flatten an application of a data constructor into the constructor and its arguments.

Returns Nothing if the expression isn't a constructor application.

takeXPrimApps :: Exp a n -> Maybe (n, [Exp a n])

Flatten an application of a primop into the variable and its arguments.

Returns Nothing if the expression isn't a primop application.

Lets

xLets :: [Lets a n] -> Exp a n -> Exp a n

Wrap some let-bindings around an expression.

splitXLets :: Exp a n -> ([Lets a n], Exp a n)

Split let-bindings from the front of an expression, if any.

bindsOfLets :: Lets a n -> ([Bind n], [Bind n])

Take the binds of a Lets.

The level-1 and level-0 binders are returned separately.

specBindsOfLets :: Lets a n -> [Bind n]

Like bindsOfLets but only take the spec (level-1) binders.

valwitBindsOfLets :: Lets a n -> [Bind n]

Like bindsOfLets but only take the value and witness (level-0) binders.

Patterns

bindsOfPat :: Pat n -> [Bind n]

Take the binds of a Pat.

Alternatives

takeCtorNameOfAlt :: Alt a n -> Maybe n

Take the constructor name of an alternative, if there is one.

Witnesses

wApp :: Witness a n -> Witness a n -> Witness a n

Construct a witness application

wApps :: Witness a n -> [Witness a n] -> Witness a n

Construct a sequence of witness applications

takeXWitness :: Exp a n -> Maybe (Witness a n)

Take the witness from an XWitness argument, if any.

takeWAppsAsList :: Witness a n -> [Witness a n]

Flatten an application into the function parts and arguments, if any.

takePrimWiConApps :: Witness a n -> Maybe (n, [Witness a n])

Flatten an application of a witness into the witness constructor name and its arguments.

Returns nothing if there is no witness constructor in head position.

Types

takeXType :: Exp a n -> Maybe (Type n)

Take the type from an XType argument, if any.

Data Constructors

xUnit :: Exp a n

Construct a value of unit type.

dcUnit :: DaCon n t

The unit data constructor.

takeNameOfDaCon :: DaCon n t -> Maybe n

Take the name of data constructor, if there is one.

takeTypeOfDaCon :: DaCon n (Type n) -> Maybe (Type n)

Take the type annotation of a data constructor, if we know it locally.

Fragment specific kinds

kRate :: Type Name

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

isRateVecType :: Type Name -> Bool

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

isRefType :: Type Name -> Bool

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

isVectorType :: Type Name -> Bool

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

isProcessType :: Type Name -> Bool

Check if some type is a fully applied Process.

tTuple1 :: Type Name -> Type Name

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

tTupleN :: [Type Name] -> Type Name

tVector :: Type Name -> Type Name

tBuffer :: Type Name -> Type Name

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

tRateVec :: Type Name -> Type Name -> Type Name

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

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

tSel2 :: Type Name -> 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

tRateAppend :: Type Name -> Type Name -> Type Name

tRateCross :: Type Name -> Type Name -> Type Name

tProcess :: Type Name -> Type Name -> Type Name

tResize :: Type Name -> Type Name -> 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.

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 (Type Name)

A literal Bool# data constructor.

xNat :: Integer -> Exp a Name

A literal Nat#

dcNat :: Integer -> DaCon Name (Type Name)

A Literal Nat# data constructor.

dcTuple1 :: DaCon Name (Type 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 (Type Name)

Data constructor for Tuple2#

dcTupleN :: Int -> DaCon Name (Type 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 -> 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 -> TypeF -> ExpF -> ExpF

xNatOfRateNat :: TypeF -> ExpF -> ExpF

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

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

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

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

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

Control operators

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

xGuard :: ExpF -> ExpF -> ExpF

xSegment :: 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