DDC.Core.Exp.Generic.Predicates

Atoms

isXVar

isXCon

isAtomX

isAtomR

isAtomW

Abstractions

isXAbs

isXLAM

isXLam

Applications

isXApp

Let bindings

isXLet

Patterns

isPDefault