% Lazy Non-Deterministic Data
% Sebastian Fischer (sebf@informatik.uni-kiel.de)

This module provides a datatype with operations for lazy
non-deterministic programming.

> module CFLP.Data (
>
>   NormalForm, Nondet, Context(..),
>
>   ID, initID, withUnique,
>
>   Narrow(..), unknown, 
>
>   failure, oneOf, (?),
>
>   withHNF, caseOf, caseOf_, Match,
>
>   Generic(..), primitive, generic, nondet,
>
>   Decons, ApplyCons(..), (!), cons,
>
>   groundNormalForm, partialNormalForm,
>
>   ConsPatList(..), constructors, patterns,
>
>   apply, fun
>
> ) where
>
> import CFLP.Data.Types
> import CFLP.Data.Generic
> import CFLP.Data.UniqueID
> import CFLP.Data.Matching
> import CFLP.Data.Narrowing
> import CFLP.Data.Primitive
> import CFLP.Data.HigherOrder