DDC.Core.Exp.Generic.Compounds

Utilities for constructing and destructing compound expressions.

For the generic version of the AST.

Documentation

module DDC.Type.Compounds

Abstractions

makeXAbs :: [GAbs l] -> GExp l -> GExp l

Make some nested abstractions.

takeXAbs :: GExp l -> Maybe ([GAbs l], GExp l)

Split type and value/witness abstractions from the front of an expression, or Nothing if there aren't any.

makeXLAMs :: [GBind l] -> GExp l -> GExp l

Make some nested type lambdas.

takeXLAMs :: GExp l -> Maybe ([GBind l], GExp l)

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

makeXLams :: [GBind l] -> GExp l -> GExp l

Make some nested value or witness lambdas.

takeXLams :: GExp l -> Maybe ([GBind l], GExp l)

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

Applications

makeXApps :: GExp l -> [GArg l] -> GExp l

Build sequence of applications.

takeXApps :: GExp l -> Maybe (GExp l, [GArg l])

Flatten an application into the functional expression and its arguments, or `Nothing if this is not an application.

splitXApps :: GExp l -> (GExp l, [GArg l])

Flatten an application into a functional expression and its arguments, or just return the expression with no arguments if this is not an application.

takeXConApps :: GExp l -> Maybe (DaCon l, [GArg l])

Flatten an application of a data constructor into the constructor itself and its arguments, or Nothing if this is not an application of a data constructor.

takeXPrimApps :: GExp l -> Maybe (GPrim l, [GArg l])

Flatten an application of a primitive operators into the operator itself and its arguments, or Nothing if this is not an application of a primitive.

Data Constructors

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.