morphisms-0.1.1: It's all about functions

Safe HaskellSafe
LanguageHaskell2010

Control.Morphism

Synopsis
  • after :: (b -> c) -> (a -> b) -> a -> c
  • to :: (a -> b) -> a -> b
  • by :: a -> (a -> b) -> b
  • constant :: a -> b -> a
  • identity :: a -> a
  • flip :: (a -> b -> c) -> b -> a -> c
  • fix :: (a -> a) -> a
  • between :: (c -> d) -> (a -> b) -> (b -> c) -> a -> d
  • (.) :: (b -> c) -> (a -> b) -> a -> c
  • ($) :: (a -> b) -> a -> b
  • (&) :: a -> (a -> b) -> b
  • (!) :: (a -> b -> c) -> b -> a -> c
  • (?) :: a -> b -> a
  • (#) :: (a -> a) -> a
  • (.^.) :: (c -> d) -> (a -> b) -> (b -> c) -> a -> d

Documentation

after :: (b -> c) -> (a -> b) -> a -> c Source #

Prefix version of .

to :: (a -> b) -> a -> b Source #

Prefix version of $

by :: a -> (a -> b) -> b Source #

Prefix version of &

constant :: a -> b -> a Source #

Prefix version of ?

identity :: a -> a Source #

The most trivial function

flip :: (a -> b -> c) -> b -> a -> c Source #

Prefix version of !

fix :: (a -> a) -> a Source #

Prefix version of #

between :: (c -> d) -> (a -> b) -> (b -> c) -> a -> d Source #

Prefix version of .^.

(.) :: (b -> c) -> (a -> b) -> a -> c infixr 9 Source #

Infix version of after

($) :: (a -> b) -> a -> b infixr 0 Source #

Infix version of to

(&) :: a -> (a -> b) -> b infixl 1 Source #

Infix version of by

(!) :: (a -> b -> c) -> b -> a -> c infixr 2 Source #

Infix version of flip

(?) :: a -> b -> a infixr 2 Source #

Infix version of constant

(#) :: (a -> a) -> a Source #

Infix version of fix

(.^.) :: (c -> d) -> (a -> b) -> (b -> c) -> a -> d Source #

Infix version of between