Safe Haskell	Safe-Inferred
Language	Haskell2010

Fcf.Data.Function

Description

Simple combinators for functions.

Synopsis

data ((c :: a) & (d :: a -> Exp b)) (e :: b)
data On (d :: b -> b -> Exp c) (e :: a -> Exp b) (f :: a) (g :: a) (h :: c)
data Bicomap (f :: a -> Exp c) (g :: b -> Exp d) (h :: c -> d -> Exp e) (i :: a) (j :: b) (k :: e)

Documentation

data ((c :: a) & (d :: a -> Exp b)) (e :: b) infixl 1 Source #

Reverse function application, argument first.

Expand

>>> :kind! Eval ('(True, Nothing) & Fst)
Eval ('(True, Nothing) & Fst) :: Bool
= True

Instances details

type Eval (x & f :: a2 -> Type) Source #
Instance details Defined in Fcf.Data.Function type Eval (x & f :: a2 -> Type) = Eval (f x)

data On (d :: b -> b -> Exp c) (e :: a -> Exp b) (f :: a) (g :: a) (h :: c) Source #

Lift a binary function to the domain of a projection.

Expand

>>> :kind! Eval (((&&) `On` Fst) '(True, Nothing) '(False, Just '()))
Eval (((&&) `On` Fst) '(True, Nothing) '(False, Just '())) :: Bool
= False

Instances details

type Eval (On r f x y :: a2 -> Type) Source #
Instance details Defined in Fcf.Data.Function type Eval (On r f x y :: a2 -> Type) = Eval (r (Eval (f x)) (Eval (f y)))

data Bicomap (f :: a -> Exp c) (g :: b -> Exp d) (h :: c -> d -> Exp e) (i :: a) (j :: b) (k :: e) Source #

Pre-compose a binary function with a function for each argument.

Expand

>>> :kind! Eval (Bicomap Fst Pure (||) '(False, Nothing) True)
Eval (Bicomap Fst Pure (||) '(False, Nothing) True) :: Bool
= True

Instances details

type Eval (Bicomap f g r x y :: a4 -> Type) Source #
Instance details Defined in Fcf.Data.Function type Eval (Bicomap f g r x y :: a4 -> Type) = Eval (r (Eval (f x)) (Eval (g y)))