Language.SequentCore.Syntax

AST Types

data Value b

data Cont b

data Command b

data Bind b

data Alt b

data AltCon

type ContId

type SeqCoreValue

type SeqCoreCont

type SeqCoreCommand

type SeqCoreBind

type SeqCoreBndr

type SeqCoreAlt

Constructors

mkCommand

valueCommand

varCommand

mkCompute

lambdas

addLets

Deconstructors

collectLambdas

collectArgs

collectTypeArgs

collectTypeAndOtherArgs

partitionTypes

isLambda

isTypeValue

isCoValue

isErasedValue

isRuntimeValue

isTrivial

isTrivialValue

isTrivialCont

isReturnCont

commandAsSaturatedCall

asSaturatedCall

asValueCommand

Calculations

valueArity

valueType

contOuterType

commandType

valueIsBottom

commandIsBottom

Continuation ids

contIdTag

isContId

asContId

Alpha-equivalence

(=~=)

class AlphaEq a

type AlphaEnv

class HasId a