Tip.Scope

data Scope a

Querying the scope

data TypeInfo a

data GlobalInfo a

lookupConstructor

lookupDiscriminator

lookupProjector

whichConstructor

whichDiscriminator

The scope monad

data ScopeT a m b

type ScopeM a

Adding things to the scope in the scope monad