Data.Type.Flip

Documentation

newtype Flip t a b

Constructors

Flip

Fields

• unflip :: t b a

Instances

Show (t b a) => Show (Flip t a b)

Defined in Data.Type.Flip

Methods

showsPrec :: Int -> Flip t a b -> ShowS

show :: Flip t a b -> String

showList :: [Flip t a b] -> ShowS

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

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

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

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

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

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

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

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