DeepArrow-0.0.1: Arrows for "deep application" Source code Contents Index

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 FunArr (->) Identity FunArr (->) Identity (FunArr ar w, FunArr ar' w') => FunArr (Pair2 ar ar') (Pair1 w w') (FunArr ar w, FunArr ar' w') => FunArr (Pair2 ar ar') (Pair1 w w')

wapl :: FunArr ~> w => w (a -> b) -> w a -> w b Source

Apply a wrapped function to a wrapped value

Produced by Haddock version 2.3.0