Data.Recursive.Internal

This modules contains the newtype definitions backing

• Data.Recursive.Bool
• Data.Recursive.DualBool
• Data.Recursive.Set

Access to the newtype contructor can break the guarantees of these modules. Only import this if you want to extend the APIs for these types.

Documentation

newtype RBool

Like Bool, but admits recursive definitions, preferring the least solution.

Constructors

RBool (Purify P2)

newtype RDualBool

Like Bool, but admits recursive definitions, preferring the greatest solution.

Constructors

RDualBool (Purify P2)

newtype RSet a

Like Set, but admits recursive definitions.

Constructors

RSet (Purify (Prop (Set a)))

data RMap a b

Like Map, but admits recursive definitions.

Constructors

RMap (RSet a) (Map a b)