Language.SequentCore.Syntax

AST Types

data Value b

data Frame b

type Cont b

data Command b

data Bind b

data Alt b

data AltCon

type SeqCoreValue

type SeqCoreFrame

type SeqCoreCont

type SeqCoreCommand

type SeqCoreBind

type SeqCoreAlt

Constructors

mkCommand

valueCommand

varCommand

lambdas

addLets

extendCont

Deconstructors

collectLambdas

collectArgs

isLambda

isTypeArg

isCoArg

isErasedArg

isRuntimeArg

isTypeValue

isCoValue

isErasedValue

isRuntimeValue

isTrivial

isTrivialValue

isTrivialCont

isTrivialFrame

commandAsSaturatedCall

asSaturatedCall

asValueCommand

Calculations

valueArity

commandType

Alpha-equivalence

(=~=)

class AlphaEq a

type AlphaEnv

class HasId a