Documentation

type OpenInterval = Bool Source #

intervalSubType :: AtomType -> AtomType Source #

supportsInterval :: AtomType -> Bool Source #

supportsOrdering :: AtomType -> Bool Source #

atomCompare :: Atom -> Atom -> Either AtomFunctionError Ordering Source #

createInterval :: Atom -> Atom -> OpenInterval -> OpenInterval -> Either AtomFunctionError Atom Source #

intervalAtomType :: AtomType -> AtomType Source #

intervalAtomFunctions :: AtomFunctions Source #

isIntervalAtomType :: AtomType -> Bool Source #

intervalOverlaps :: Atom -> Atom -> Either AtomFunctionError Bool Source #

intervalTypeConstructorMapping :: TypeConstructorMapping Source #