Quark

v2.1.1

Quark

Quark v2.1.1 Quark

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)

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

Functions

compose(a, b)

See Quark.Compose.compose/2.

constant(a, b)

See Quark.SKI.constant/2.

first(a, b)

See Quark.SKI.first/2.

flip(fun)

See Quark.BCKW.flip/1.

id(a)

See Quark.SKI.id/1.

second(a, b)

See Quark.SKI.second/2.

self_apply(a)

See Quark.M.self_apply/1.