Quark (Quark v2.3.2) View Source

Top-level module. Provides a convenient use macro for importing the most commonly used functions and macros.

Due to performance reasons, many of the combinators are given non-combinatory implementations (ie: not everything is expressed in terms s and k)

Link to this section Summary

Functions

a <|> b

See Quark.Compose.<|>/2.

compose(a)

See Quark.Compose.compose/1.

compose(a, b)

See Quark.Compose.compose/2.

constant(a, b)

See Quark.SKI.constant/2.

first(a, b)

See Quark.SKI.first/2.

fix(fun)

See Quark.FixedPoint.fix/1.

flip(fun)

See Quark.BCKW.flip/1.

id(a)

See Quark.SKI.id/1.

origin(a)

See Quark.Sequence.origin/1.

pred(a)

See Quark.Sequence.pred/1.

second(a, b)

See Quark.SKI.second/2.

self_apply(a)

See Quark.M.self_apply/1.

succ(a)

See Quark.Sequence.succ/1.

Link to this section Functions

a <|> b

See Quark.Compose.<|>/2.

compose(a)

See Quark.Compose.compose/1.

compose(a, b)

See Quark.Compose.compose/2.

constant(a, b)

See Quark.SKI.constant/2.

first(a, b)

See Quark.SKI.first/2.

fix(fun)

See Quark.FixedPoint.fix/1.

flip(fun)

See Quark.BCKW.flip/1.

id(a)

See Quark.SKI.id/1.

origin(a)

See Quark.Sequence.origin/1.

pred(a)

See Quark.Sequence.pred/1.

second(a, b)

See Quark.SKI.second/2.

self_apply(a)

See Quark.M.self_apply/1.

succ(a)

See Quark.Sequence.succ/1.