{-|
High-level model of schema.
-}
module DomainCore.Model
where

import DomainCore.Prelude


{-|
Declaration of a type.
-}
data TypeDec =
  {-|
  Name of the type and its definition.
  -}
  TypeDec Text TypeDef
  deriving (Generic, Show, Eq, Ord, Lift)

{-|
Definition of a type.
-}
data TypeDef =
  {-|
  Sum.
  A list of pairs of names of its members
  (which will be mapped to constructors) and
  types which will populate the according constructors.
  -}
  SumTypeDef [(Text, [Type])] |
  {-|
  Product.
  Think of it as a record.
  Carries a list of associations of field names with types.
  -}
  ProductTypeDef [(Text, Type)] 
  deriving (Generic, Show, Eq, Ord, Lift)

{-|
Type.
-}
data Type =
  {-|
  Fully applied tuple of the listed types.
  -}
  TupleType [Type] |
  {-|
  List of type applications.
  -}
  AppType (NonEmpty Type) |
  {-|
  List type with the type of its element.
  -}
  ListType Type |
  {-|
  Possibly qualified reference to another type.
  -}
  RefType Text
  deriving (Generic, Show, Eq, Ord, Lift)