DDC.Core.Exp.Simple.Compounds

Utilities for constructing and destructing compound expressions.

For the Simple version of the AST.

Documentation

module DDC.Type.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, [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

The unit data constructor.

takeNameOfDaCon :: DaCon n -> Maybe n

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

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

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