/src/Typeable/Internal/Defaults.hs

{-# LANGUAGE OverloadedStrings, ScopedTypeVariables #-}
{-# OPTIONS -XExistentialQuantification -XNoMonomorphismRestriction #-}
module Typeable.Internal.Defaults where

import Typeable.T9e2e1e478e094a8abe5507f8574ac91f --Succ
import Typeable.T421496848904471ea3197f25e2a02b72 --Zero
import Typeable.T0174bd2264004820bfe34e211cb35a7d --DataType
import Typeable.T1660b01f08dc4aedbe4c0941584541cb --Kind
import Typeable.T451f847e1cb642d0b7c5dbdfa03f41b5 --Definition
import Typeable.T606f253533d3420da3465afae341d598 --Time
import qualified Typeable.T3819884685d34bf19b3469304e15983d as Person
import qualified Typeable.T4e0b8f8ea2b145228fa4ec74b559bf6a as Class --Class
import qualified Typeable.T3e81531118e14888be21de7921b15bb5 as Type  --Type
import qualified Typeable.T205895c8d2df475b8d5ead5ee33d9f63 as Field --Field
import qualified Typeable.T37c8a341f0b34cc6bbbc9f2403f09be3 as Constructor

import qualified Data.Set as S
import qualified Data.Map as M

import Typeable.Internal.Misc

list     x   = Application (DataType "0ba85f3f10099c75d4b696d0cf944e09") x
set      x   = Application (DataType "7af30cce93724981a16a80f3f193dc33") x
maybe    x   = Application (DataType "f8f49ef6bbe874a42926fa23d5b3bc19") x
function x y = Application (Application (DataType "50eae3e85d2d42c88754b026cc360981") x) y

v0  :: Type.Type Zero -> Type.Type Zero
v0   = id

v1  :: Type.Type (Succ Zero) -> Type.Type Zero
v1 x = Type.Quantification KindStar x 

v2  :: Type.Type (Succ (Succ Zero)) -> Type.Type Zero
v2 x = Type.Quantification KindStar (Type.Quantification KindStar x) 

v3  :: Type.Type (Succ (Succ (Succ Zero))) -> Type.Type Zero
v3 x = Type.Quantification KindStar (Type.Quantification KindStar (Type.Quantification KindStar x)) 

v1'  :: Kind -> Type.Type (Succ Zero) -> Type.Type Zero
v1' a x = Type.Quantification a x 

v2'  :: Kind -> Kind -> Type.Type (Succ (Succ Zero)) -> Type.Type Zero
v2' a b x = Type.Quantification a (Type.Quantification b x) 

v3'  :: Kind -> Kind -> Kind -> Type.Type (Succ (Succ (Succ Zero))) -> Type.Type Zero
v3' a b c x = Type.Quantification a (Type.Quantification b (Type.Quantification c x)) 

c1  :: Class.Class (Succ Zero) -> Class.Class Zero
c1 x = Class.Quantification KindStar x 

defaultPerson  = Person.Person { Person.name = "typeable.org", Person.contacts = S.empty }

personLars     = defaultPerson { Person.name = "Lars Petersen" }
personMikael   = defaultPerson { Person.name = "Mikael Voss" }
personClemens  = defaultPerson { Person.name = "Clemens Kornd\x00F6rfer" }
personStefan   = defaultPerson { Person.name = "Prof. Dr. Stefan Evert" }

dt :: Definition Type.Type
dt  = Definition 
        { identifier       = undefined
        , antecedent       = Nothing
        , creationTime     = Time 3499718400
        , modificationTime = Time 3499718400
        , author           = Nothing
        , maintainer       = defaultPerson
        , name             = undefined
        , structure        = dt' 
        }

dt' = Type.Type { Type.semantics = "", Type.constructors = Nothing }

defaultConstructor :: forall a. PeanoNumber a => Constructor.Constructor a
defaultConstructor  = Constructor.Constructor {
                        Constructor.name       = undefined
                      , Constructor.semantics  = ""  
                      , Constructor.fields     = []  :: [Field.Field a]
                      }

defaultField       :: (PeanoNumber a) => Field.Field a
defaultField        = Field.Field {
                        Field.name             = undefined 
                      , Field.semantics        = ""       
                      , Field.type_            = undefined 
                      }

defaultConstructor'   :: Constructor.Constructor (Succ Zero)
defaultConstructor'    = defaultConstructor
defaultConstructor''  :: Constructor.Constructor (Succ (Succ Zero))
defaultConstructor''   = defaultConstructor
defaultConstructor''' :: Constructor.Constructor (Succ (Succ (Succ Zero)))
defaultConstructor'''  = defaultConstructor

defaultField'   :: Field.Field (Succ Zero)
defaultField'    = defaultField
defaultField''  :: Field.Field (Succ (Succ Zero))
defaultField''   = defaultField
defaultField''' :: Field.Field (Succ (Succ (Succ Zero)))
defaultField'''  = defaultField