module ProjectM36.DataTypes.Basic where
import ProjectM36.DataTypes.Primitive
import ProjectM36.DataTypes.Either
import ProjectM36.DataTypes.Maybe
import ProjectM36.DataTypes.List
import ProjectM36.DataTypes.NonEmptyList
import ProjectM36.DataTypes.Interval
import ProjectM36.Base
basicTypeConstructorMapping :: TypeConstructorMapping
basicTypeConstructorMapping :: TypeConstructorMapping
basicTypeConstructorMapping = TypeConstructorMapping
primitiveTypeConstructorMapping TypeConstructorMapping
-> TypeConstructorMapping -> TypeConstructorMapping
forall a. [a] -> [a] -> [a]
++
TypeConstructorMapping
maybeTypeConstructorMapping TypeConstructorMapping
-> TypeConstructorMapping -> TypeConstructorMapping
forall a. [a] -> [a] -> [a]
++
TypeConstructorMapping
eitherTypeConstructorMapping TypeConstructorMapping
-> TypeConstructorMapping -> TypeConstructorMapping
forall a. [a] -> [a] -> [a]
++
TypeConstructorMapping
listTypeConstructorMapping TypeConstructorMapping
-> TypeConstructorMapping -> TypeConstructorMapping
forall a. [a] -> [a] -> [a]
++
TypeConstructorMapping
nonEmptyListTypeConstructorMapping TypeConstructorMapping
-> TypeConstructorMapping -> TypeConstructorMapping
forall a. [a] -> [a] -> [a]
++
TypeConstructorMapping
intervalTypeConstructorMapping