monad-ran-0.0.5: Implementations of common monads and monad transformers as right-kan extensions Source code Contents Index

Control.Monad.Ran

Synopsis

newtype Ran g h a = Ran { getRan :: forall b. (a -> g b) -> h b } class RanIso g h m | m -> g h where toRan :: m a -> Ran g h a fromRan :: Ran g h a -> m a toRan :: RanIso g h m => m a -> Ran g h a fromRan :: RanIso g h m => Ran g h a -> m a

Documentation

newtype Ran g h a Source

the right Kan extension of h along g Constructors Ran getRan :: forall b. (a -> g b) -> h b Instances Functor (Ran g h)

class RanIso g h m | m -> g h where Source

Methods toRan :: m a -> Ran g h a Source fromRan :: Ran g h a -> m a Source Instances RanIso Identity Identity Identity' RanIso Identity Identity Identity' RanIso f f (Codensity f) RanIso (Const r) (Const r) (Cont r) RanIso (Const r) (Const r) (Cont r)

toRan :: RanIso g h m => m a -> Ran g h a Source

fromRan :: RanIso g h m => Ran g h a -> m a Source

Produced by Haddock version 2.3.0