Script Reference

generics.at

Lines:
29
Definitions:
10
Dependencies:
none
Source:
GitHub

Definitions

NameSignatureDescription
I(T x) = T: x
constant(T x) = (S .) T: x
compose((S->R) g) = ((T->S)f): (T x): R: g(f(x))
swap(S x,T y) = (T,S): (y,x)
swapargs((S,T->R) f) = (T y,S x) R: f(x,y)
curry((S,T->R) f) = (S->(T->R)): (S x): (T y) R: f(x,y)
uncurry((S->(T->R)) f) = (S x,T y) R: f(x)(y)
curried_swapargs((S->(T->R)) f) = (T->(S->R)): (T y):(S x) R: f(x)(y)
foldl(S !start,(S,T->S) op) = ([T]->S):
foldr((S,T->T) op, T !start) = ([S]->T):