pandora-0.2.3: Pandora/Paradigm/Controlflow/Joint/Transformer.hs

module Pandora.Paradigm.Controlflow.Joint.Transformer (module Exports, Transformer) where

import Pandora.Paradigm.Controlflow.Joint.Transformer.Comonadic as Exports
import Pandora.Paradigm.Controlflow.Joint.Transformer.Monadic as Exports

import Pandora.Pattern.Functor (Monad, Comonad)

type family Transformer c t where
	Transformer Monad t = Monadic t
	Transformer Comonad t = Comonadic t