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

ProjectM36.DataTypes.List

Documentation

listAtomType :: AtomType -> AtomType Source #

listTypeConstructorMapping :: TypeConstructorMapping Source #

listLength :: Atom -> Either AtomFunctionError Int Source #

listMaybeHead :: Atom -> Either AtomFunctionError Atom Source #

listAtomFunctions :: AtomFunctions Source #

listCons :: AtomType -> [Atom] -> Atom Source #