in-other-words-0.1.1.0: A higher-order effect system where the sky's the limit
Safe HaskellNone
LanguageHaskell2010

Control.Effect.Internal.Utils

Documentation

(#.) :: Coercible c b => (b -> c) -> (a -> b) -> a -> c infixr 9 Source #

(.#) :: Coercible b a => (b -> c) -> (a -> b) -> a -> c infixl 8 Source #

coerceTrans :: (Coercible m z, Coercible n y) => (m a -> n b) -> z a -> y b Source #

coerceM :: Coercible m n => m a -> n a Source #