DeepArrow-0.3.5: Arrows for "deep application"

Portabilityportable
Stabilityexperimental
Maintainerconal@conal.net
Safe HaskellSafe-Infered

Data.FunArr

Description

Conversion between arrow values and wrapped functions.

Synopsis

Documentation

class FunArr (~>) w | ~> -> w, w -> ~> whereSource

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 ~> bSource

Convert a w-wrapped function to an arrow value

($$) :: (a ~> b) -> w a -> w bSource

Apply an arrow to a w-wrapped value

Instances

FunArr (->) Id 
FunArr DArrow DVal 
(FunArr ar w, FunArr ar' w') => FunArr (::*:: ar ar') (:*: w w')