|
Data.FunArr | Portability | portable | Stability | experimental | Maintainer | conal@conal.net |
|
|
|
Description |
Conversion between arrow values and wrapped functions.
|
|
Synopsis |
|
class FunArr (~>) w | ~> -> w, w -> ~> where | toArr :: w (a -> b) -> a ~> b | ($$) :: (a ~> b) -> w a -> w b |
| | wapl :: FunArr ~> w => w (a -> b) -> w a -> w b |
|
|
Documentation |
|
class FunArr (~>) w | ~> -> w, w -> ~> where | Source |
|
Convert between an arrow value and a "wrapped function". The "arrow"
doesn't really have to be an arrow. I'd appreciate ideas for names &
uses.
| | Methods | toArr :: w (a -> b) -> a ~> b | Source |
| Convert a w-wrapped function to an arrow value
| | ($$) :: (a ~> b) -> w a -> w b | Source |
| Apply an arrow to a w-wrapped value
|
| | Instances | |
|
|
|
Apply a wrapped function to a wrapped value
|
|
Produced by Haddock version 2.3.0 |