DDC.Core.Collect

Collecting sets of variables and constructors.

Documentation

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

Collect the free Spec variables in a thing (level-1).

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

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

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

Collect all the bound variables in a thing, independent of whether they are free or not.

collectSpecBinds :: (BindStruct c, Ord n) => c n -> [Bind n]

Collect all the Spec binders in a thing.