project-m36-0.7: Relational Algebra Engine

Safe HaskellNone
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 #