Pandora.Paradigm.Primary.Functor.Function

Documentation

(!) :: a -> b -> a infixr 2

(%) :: (a -> b -> c) -> b -> a -> c infixr 9

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

fix :: (a -> a) -> a

Orphan instances

Covariant ((->) a :: Type -> Type)

Methods

(<$>) :: (a0 -> b) -> (a -> a0) -> a -> b

comap :: (a0 -> b) -> (a -> a0) -> a -> b

(<$) :: a0 -> (a -> b) -> a -> a0

($>) :: (a -> a0) -> b -> a -> b

void :: (a -> a0) -> a -> ()

loeb :: (a -> (a0 <:= (->) a)) -> a -> a0

(<&>) :: (a -> a0) -> (a0 -> b) -> a -> b

(<$$>) :: Covariant u => (a0 -> b) -> (((->) a :. u) := a0) -> ((->) a :. u) := b

(<$$$>) :: (Covariant u, Covariant v) => (a0 -> b) -> (((->) a :. (u :. v)) := a0) -> ((->) a :. (u :. v)) := b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a0 -> b) -> (((->) a :. (u :. (v :. w))) := a0) -> ((->) a :. (u :. (v :. w))) := b

(<&&>) :: Covariant u => (((->) a :. u) := a0) -> (a0 -> b) -> ((->) a :. u) := b

(<&&&>) :: (Covariant u, Covariant v) => (((->) a :. (u :. v)) := a0) -> (a0 -> b) -> ((->) a :. (u :. v)) := b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => (((->) a :. (u :. (v :. w))) := a0) -> (a0 -> b) -> ((->) a :. (u :. (v :. w))) := b

Bindable ((->) e :: Type -> Type)

Methods

(>>=) :: (e -> a) -> (a -> e -> b) -> e -> b

(=<<) :: (a -> e -> b) -> (e -> a) -> e -> b

bind :: (a -> e -> b) -> (e -> a) -> e -> b

join :: (((->) e :. (->) e) := a) -> e -> a

(>=>) :: (a -> e -> b) -> (b -> e -> c) -> a -> e -> c

(<=<) :: (b -> e -> c) -> (a -> e -> b) -> a -> e -> c

($>>=) :: Covariant u => ((u :. (->) e) := a) -> (a -> e -> b) -> (u :. (->) e) := b

Applicative ((->) e :: Type -> Type)

Methods

(<*>) :: (e -> (a -> b)) -> (e -> a) -> e -> b

apply :: (e -> (a -> b)) -> (e -> a) -> e -> b

(*>) :: (e -> a) -> (e -> b) -> e -> b

(<*) :: (e -> a) -> (e -> b) -> e -> a

forever :: (e -> a) -> e -> b

(<**>) :: Applicative u => (((->) e :. u) := (a -> b)) -> (((->) e :. u) := a) -> ((->) e :. u) := b

(<***>) :: (Applicative u, Applicative v) => (((->) e :. (u :. v)) := (a -> b)) -> (((->) e :. (u :. v)) := a) -> ((->) e :. (u :. v)) := b

(<****>) :: (Applicative u, Applicative v, Applicative w) => (((->) e :. (u :. (v :. w))) := (a -> b)) -> (((->) e :. (u :. (v :. w))) := a) -> ((->) e :. (u :. (v :. w))) := b

Distributive ((->) e :: Type -> Type)

Methods

(>>-) :: Covariant u => u a -> (a -> e -> b) -> ((->) e :. u) := b

collect :: Covariant u => (a -> e -> b) -> u a -> ((->) e :. u) := b

distribute :: Covariant u => ((u :. (->) e) := a) -> ((->) e :. u) := a

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> e -> b) -> ((->) e :. (u :. v)) := b

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> e -> b) -> ((->) e :. (u :. (v :. w))) := b

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> e -> b) -> ((->) e :. (u :. (v :. (w :. j)))) := b

Pointable ((->) e :: Type -> Type)

Methods

point :: a :=> (->) e

Representable ((->) e :: Type -> Type)

Associated Types

type Representation ((->) e)

Methods

(<#>) :: Representation ((->) e) -> a <:= (->) e

tabulate :: (Representation ((->) e) -> a) -> e -> a

index :: (e -> a) -> Representation ((->) e) -> a