DDC.Core.Call

Call constructors

data Cons n

isConsType

isConsValue

isConsBox

takeCallConsFromExp

takeCallConsFromType

splitStdCallCons

takeStdCallConsFromTypeArity

Call eliminators

data Elim a n

isElimType

isElimValue

isElimRun

takeCallElim

applyElim

splitStdCallElims

Matching

elimForCons

dischargeConsWithElims

dischargeTypeWithElims