Data.Functor.Day.Extra

Documentation

uncurried :: forall f g h c. (Functor f, Functor g) => Curried f (Curried g h) c -> Curried (Day f g) h c

curried :: forall f g h c. (Functor f, Functor g) => Curried (Day f g) h c -> Curried f (Curried g h) c

unitCurried :: Functor g => Identity ~> Curried g g

Internal identity of natural transformation.

 unitCurried = toCurried elim2

composeCurried :: (Functor f, Functor g, Functor h) => Day (Curried f g) (Curried g h) ~> Curried f h

Internal composition of natural transformations.

 composeCurried = toCurried (applied . trans1 applied . assoc)

Conversions to Monad/Comonad transformers

dayToEnv :: Functor f => Day ((,) s0) f ~> EnvT s0 f

envToDay :: EnvT s0 f ~> Day ((,) s0) f

curriedToReader :: Curried ((,) s0) f ~> ReaderT s0 f

readerToCurried :: Functor f => ReaderT s0 f ~> Curried ((,) s0) f

dayToTraced :: Functor f => Day ((->) s1) f ~> TracedT s1 f

tracedToDay :: TracedT s1 f ~> Day ((->) s1) f

curriedToWriter :: Curried ((->) s1) f ~> WriterT s1 f

writerToCurried :: Functor f => WriterT s1 f ~> Curried ((->) s1) f