DDC.Core.Collect.FreeX

Collecting sets of variables and constructors.

Documentation

freeX :: (BindStruct c n, Ord n) => Env n -> c -> Set (Bound n)

Collect the free Data and Witness variables in a thing (level-0).

bindDefX :: BindStruct c n => BindWay -> [Bind n] -> [c] -> BindTree n

Helper for constructing the BindTree for an expression or witness binder.

Orphan instances

BindStruct (Witness a n) n

Methods

slurpBindTree :: Witness a n -> [BindTree n]

BindStruct (Cast a n) n

Methods

slurpBindTree :: Cast a n -> [BindTree n]

BindStruct (Alt a n) n

Methods

slurpBindTree :: Alt a n -> [BindTree n]

BindStruct (Exp a n) n

Methods

slurpBindTree :: Exp a n -> [BindTree n]

BindStruct (Module a n) n

Methods

slurpBindTree :: Module a n -> [BindTree n]