From ce568c3afb00610d659d3c2bab022983d252f1cd Mon Sep 17 00:00:00 2001
From: Simon Jakobi
type Rep1 (WrappedArrow a b) :: k -> * #
Rep1 (WrappedArrow a b) :: k -> *from1 :: WrappedArrow a b a0 -> Rep1 ( a b a0 -> Rep1 (WrappedArrow a b) a0 #
a b) a0to1 :: Rep1 ( :: Rep1 (WrappedArrow a b) a0 -> WrappedArrow a b a0 #
a b a0Since: base-2.1
(<$)WrappedArrow a b b0 -> WrappedArrow a b a0 #
a b a0Since: base-2.1
(<*>)WrappedArrow a b a0 -> WrappedArrow a b b0 #
a b b0liftA2WrappedArrow a b b0 -> WrappedArrow a b c #
a b c(*>)WrappedArrow a b b0 -> WrappedArrow a b b0 #
a b b0(<*)WrappedArrow a b b0 -> WrappedArrow a b a0 #
a b a0Since: base-2.1
(<|>)WrappedArrow a b a0 -> WrappedArrow a b a0 #
a b a0someWrappedArrow a b a0 -> WrappedArrow a b [a0] #
a b [a0]manyWrappedArrow a b a0 -> WrappedArrow a b [a0] #
a b [a0]type Rep (WrappedArrow a b c) :: * -> * #
Rep (WrappedArrow a b c) :: * -> *from :: WrappedArrow a b c -> Rep ( a b c -> Rep (WrappedArrow a b c) x #
a b c) xto :: Rep ( :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c #
a b c