Safe Haskell  None 

Language  Haskell2010 
Documentation
Instances
Functor Scope Source #  
Foldable Scope Source #  
Defined in Nix.Scope fold :: Monoid m => Scope m > m # foldMap :: Monoid m => (a > m) > Scope a > m # foldMap' :: Monoid m => (a > m) > Scope a > m # foldr :: (a > b > b) > b > Scope a > b # foldr' :: (a > b > b) > b > Scope a > b # foldl :: (b > a > b) > b > Scope a > b # foldl' :: (b > a > b) > b > Scope a > b # foldr1 :: (a > a > a) > Scope a > a # foldl1 :: (a > a > a) > Scope a > a # elem :: Eq a => a > Scope a > Bool # maximum :: Ord a => Scope a > a # minimum :: Ord a => Scope a > a #  
Traversable Scope Source #  
Eq a => Eq (Scope a) Source #  
Show (Scope a) Source #  
Scopes  

emptyScopes :: forall m a. Scopes m a Source #
class Scoped a m  m > a where Source #
currentScopes :: m (Scopes m a) Source #
clearScopes :: m r > m r Source #
pushScopes :: Scopes m a > m r > m r Source #
currentScopesReader :: forall m a e. (MonadReader e m, Has e (Scopes m a)) => m (Scopes m a) Source #
clearScopesReader :: forall m a e r. (MonadReader e m, Has e (Scopes m a)) => m r > m r Source #
pushScopesReader :: (MonadReader e m, Has e (Scopes m a)) => Scopes m a > m r > m r Source #
lookupVarReader :: forall m a e. (MonadReader e m, Has e (Scopes m a)) => Text > m (Maybe a) Source #
withScopes :: Scoped a m => Scopes m a > m r > m r Source #