Safe Haskell  None 

Language  Haskell2010 
Documentation
newtype Colocated l a Source #
Colocated  

Instances
MonadReader l (Colocated l) Source #  
Monad (Colocated l) Source #  
Functor (Colocated l) Source #  
Applicative (Colocated l) Source #  
Defined in Blanks.LocScope  
Distributive (Colocated l) Source #  
Defined in Blanks.LocScope  
Representable (Colocated l) Source #  
Adjunction (Located l) (Colocated l) Source #  
type Rep (Colocated l) Source #  
Located  

Instances
Monoid l => Monad (Located l) Source #  
Functor (Located l) Source #  
Monoid l => Applicative (Located l) Source #  
Foldable (Located l) Source #  
Defined in Blanks.LocScope fold :: Monoid m => Located l m > m # foldMap :: Monoid m => (a > m) > Located l a > m # foldr :: (a > b > b) > b > Located l a > b # foldr' :: (a > b > b) > b > Located l a > b # foldl :: (b > a > b) > b > Located l a > b # foldl' :: (b > a > b) > b > Located l a > b # foldr1 :: (a > a > a) > Located l a > a # foldl1 :: (a > a > a) > Located l a > a # toList :: Located l a > [a] # length :: Located l a > Int # elem :: Eq a => a > Located l a > Bool # maximum :: Ord a => Located l a > a # minimum :: Ord a => Located l a > a #  
Traversable (Located l) Source #  
Adjunction (Located l) (Colocated l) Source #  
(Eq l, Eq a) => Eq (Located l a) Source #  
(Show l, Show a) => Show (Located l a) Source #  
type RightAdjunct (Located l) Source #  
Defined in Blanks.LocScope 
newtype LocScope l n f a Source #
LocScope  

Instances
type LocScopeRawFold l n f a r = UnderScopeFold n f (LocScope l n f a) a r Source #
type LocScopeFold l n f a r = LocScopeRawFold l n f a (Colocated l r) Source #
askColocated :: Colocated l l Source #
locScopeBind :: Functor f => (a > Colocated l (LocScope l n f b)) > LocScope l n f a > LocScope l n f b Source #
locScopeRawFold :: Functor f => LocScopeRawFold l n f a r > LocScope l n f a > Located l r Source #
locScopeFold :: Functor f => LocScopeFold l n f a r > LocScope l n f a > r Source #
locScopeFree :: a > Colocated l (LocScope l n f a) Source #
runColocated :: Colocated l a > l > a Source #