Safe Haskell  None 

Language  Haskell2010 
Documentation
newtype ScopeT t n f a Source #
ScopeT  

Instances
type ScopeTFold t n f a r = ScopeTRawFold t n f a (RightAdjunct t r) Source #
type ScopeTRawFold t n f a r = UnderScopeFold n f (ScopeT t n f a) a r Source #
scopeTBind :: (RightAdjunction t, Functor f) => (a > RightAdjunct t (ScopeT t n f b)) > ScopeT t n f a > ScopeT t n f b Source #
scopeTEmbed :: RightAdjunction t => f (ScopeT t n f a) > RightAdjunct t (ScopeT t n f a) Source #
scopeTFold :: RightAdjunction t => ScopeTFold t n f a r > ScopeT t n f a > r Source #
scopeTFree :: RightAdjunction t => a > RightAdjunct t (ScopeT t n f a) Source #
scopeTHoistAnno :: (Functor t, Functor f) => (forall x. t x > w x) > ScopeT t n f a > ScopeT w n f a Source #
scopeTLiftAnno :: Functor t => t a > ScopeT t n f a Source #
scopeTRawFold :: Functor t => ScopeTRawFold t n f a r > ScopeT t n f a > t r Source #