purescript-typeable/test/Person.purs

module Test.Person where

import Data.Typeable (class Tagged, TypeRep, makeTag, typeRep)
import Data.Unit (unit)

newtype Person = Person { name :: String, location :: String }

instance taggedPerson :: Tagged Person where
  tag = makeTag unit

typePerson :: TypeRep Person
typePerson = typeRep

typeArrPerson :: TypeRep (Array Person)
typeArrPerson = typeRep
Move the definition of Person to a different module to show that the typerep comparison is stable 2023-07-05 18:15:01 +00:00			`module Test.Person where`

Reduce dependence on the internal dictionary passing mechanism Part of this work was done by @the-dr-lazy in https://github.com/ajnsit/purescript-typeable/pull/3. GOOD: Now there is no more dependence on dictionaries being passed as function arguments at runtime. BAD: 1. However, we still depend on the dictionaries being stable at runtime. 2. We now also assume that the output of the new function `makeTag` will never be cached. 2023-07-06 14:40:22 +00:00			`import Data.Typeable (class Tagged, TypeRep, makeTag, typeRep)`
			`import Data.Unit (unit)`
Move the definition of Person to a different module to show that the typerep comparison is stable 2023-07-05 18:15:01 +00:00
			`newtype Person = Person { name :: String, location :: String }`

Reduce dependence on the internal dictionary passing mechanism Part of this work was done by @the-dr-lazy in https://github.com/ajnsit/purescript-typeable/pull/3. GOOD: Now there is no more dependence on dictionaries being passed as function arguments at runtime. BAD: 1. However, we still depend on the dictionaries being stable at runtime. 2. We now also assume that the output of the new function `makeTag` will never be cached. 2023-07-06 14:40:22 +00:00			`instance taggedPerson :: Tagged Person where`
			`tag = makeTag unit`
Move the definition of Person to a different module to show that the typerep comparison is stable 2023-07-05 18:15:01 +00:00
			`typePerson :: TypeRep Person`
			`typePerson = typeRep`

			`typeArrPerson :: TypeRep (Array Person)`
			`typeArrPerson = typeRep`