project-m36-0.9.9: Relational Algebra Engine
Safe HaskellSafe-Inferred
LanguageHaskell2010

ProjectM36.DataTypes.NonEmptyList

Documentation

nonEmptyListAtomType :: AtomType -> AtomType Source #

nonEmptyListTypeConstructorMapping :: TypeConstructorMapping Source #

nonEmptyListLength :: Atom -> Either AtomFunctionError Int Source #

nonEmptyListHead :: Atom -> Either AtomFunctionError Atom Source #

nonEmptyListAtomFunctions :: AtomFunctions Source #