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 #