Common Lisp Package: ALGEBRAIC-DATA-LIBRARY

README:

FUNCTION

Public

FMAP* (FUN)

A curried version of FMAP: lift FUN to operate on functor types.

JUST-OR-ELSE (MAYBE-VAL OR-ELSE)

Return the encapsulated value of a JUST, otherwise return OR-ELSE if MAYBE-VAL is NOTHING.

LOOKUP (VALUE HASH-TABLE)

A type-safe version of GETHASH.

Undocumented

JUST (%0)

LEFT (%0)

MIRROR (EITHER-VAL)

Private

JUST%0 (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

LEFT%0 (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

RIGHT%0 (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

Undocumented

COPY-EITHER (INSTANCE)

COPY-JUST (INSTANCE)

COPY-LEFT (INSTANCE)

COPY-MAYBE (INSTANCE)

COPY-NOTHING (INSTANCE)

COPY-NUL (INSTANCE)

COPY-RIGHT (INSTANCE)

COPY-UNIT (INSTANCE)

EITHER-P (OBJECT)

JUST-P (OBJECT)

LEFT-P (OBJECT)

MAYBE-P (OBJECT)

NOTHING-P (OBJECT)

NUL-P (OBJECT)

RIGHT-P (OBJECT)

UNIT-P (OBJECT)

GENERIC-FUNCTION

Public

>> (A B)

Compute A and then B, discarding A.

>>= (VAL F)

Send/compose the result of VAL to F.

FMAP (FUN VAL)

A way to lift FUN into a container-like value VAL.

WRAP (TYPE VALUE)

Lift VALUE to type TYPE.

VARIABLE

Private

Undocumented

*%NOTHING*

*%NUL*

CLASS

Public

Undocumented

EITHER

JUST (%0)

LEFT (%0)

MAYBE

NOTHING

NUL

UNIT