-- wraps up primitives plus other basic data types
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