Documentation

newtype Flip t a b Source #

ffmap :: Functor (Flip t c) => (a -> b) -> t a c -> t b c Source #

(<$%>) :: Functor (Flip t c) => (a -> b) -> t a c -> t b c infixl 4 Source #

fpure :: Applicative (Flip t b) => a -> t a b Source #

(<*%>) :: Applicative (Flip t c) => t (a -> b) c -> t a c -> t b c infixl 4 Source #

(>>=%) :: Monad (Flip t c) => t a c -> (a -> t b c) -> t b c infixl 1 Source #

(=<<%) :: Monad (Flip t c) => (a -> t b c) -> t a c -> t b c infixr 1 Source #

ftraverse :: (Applicative (Flip s c), Traversable t) => (a -> s b c) -> t a -> s (t b) c Source #

fsequence :: (Applicative (Flip s c), Traversable t) => t (s a c) -> s (t a) c Source #