Bug548
newtype WrappedArrow (a :: * -> * -> *) b c #
Constructors
Fields
Defined in Control.Applicative
Associated Types
type Rep1 (WrappedArrow a b) :: k -> * #
Methods
from1 :: WrappedArrow a b a0 -> Rep1 (WrappedArrow a b) a0 #
to1 :: Rep1 (WrappedArrow a b) a0 -> WrappedArrow a b a0 #
Since: 2.1
fmap :: (a0 -> b0) -> WrappedArrow a b a0 -> WrappedArrow a b b0 #
(<$) :: a0 -> WrappedArrow a b b0 -> WrappedArrow a b a0 #
pure :: a0 -> WrappedArrow a b a0 #
(<*>) :: WrappedArrow a b (a0 -> b0) -> WrappedArrow a b a0 -> WrappedArrow a b b0 #
liftA2 :: (a0 -> b0 -> c) -> WrappedArrow a b a0 -> WrappedArrow a b b0 -> WrappedArrow a b c #
(*>) :: WrappedArrow a b a0 -> WrappedArrow a b b0 -> WrappedArrow a b b0 #
(<*) :: WrappedArrow a b a0 -> WrappedArrow a b b0 -> WrappedArrow a b a0 #
empty :: WrappedArrow a b a0 #
(<|>) :: WrappedArrow a b a0 -> WrappedArrow a b a0 -> WrappedArrow a b a0 #
some :: WrappedArrow a b a0 -> WrappedArrow a b [a0] #
many :: WrappedArrow a b a0 -> WrappedArrow a b [a0] #
type Rep (WrappedArrow a b c) :: * -> * #
from :: WrappedArrow a b c -> Rep (WrappedArrow a b c) x #
to :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c #