github/purescript-typeable
1
0
Fork 1
mirror of https://github.com/yaitskov/purescript-typeable.git synced 2026-03-22 03:23:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Initial working implementation

Browse Source
This commit is contained in:
Anupam Jain
2021-01-06 11:46:16 +05:30
parent 4f9fa2e3b4
commit 6b6258f632
4 changed files with 109 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
test/Main.purs
View File

@@ -3,9 +3,36 @@ module Test.Main where
import Prelude
import Effect (Effect)
import Effect.Class.Console (log)
import Typeable (class Tag1, class Tag2, class Typeable, Proxy1(..), Proxy2(..), TypeRep, clog, eqTypeRep, typeRep, typerepImpl1, typerepImpl2)
main :: Effect Unit
main = do
log "🍝"
log "You should add some tests."
clog (eqTypeRep (typeRep :: _ (Array Person)) typeArrPerson)
clog (eqTypeRep (typeRep :: _ (Array Person2)) typeArrPerson)
clog (eqTypeRep (typeRep :: _ (Optional Int)) (typeRepFromVal (Some 1)))
clog (eqTypeRep (typeRep :: _ (Optional Person)) (typeRepFromVal (Some 1)))
where
typeArrPerson :: TypeRep (Array Person)
typeArrPerson = typeRep
newtype Person = Person { name :: String, location :: String }
newtype Person2 = Person2 { name :: String, location :: String }
-- Create Typeable instances for Person
instance tag1Person :: Tag1 Person where t1 = Proxy1
instance typeablePerson :: Typeable Person where typeRep = typerepImpl1
-- Create Typeable instances for Person2
instance tag1Person2 :: Tag1 Person2 where t1 = Proxy1
instance typeablePerson2 :: Typeable Person2 where typeRep = typerepImpl1
data Optional a = None | Some a
-- Create Typeable instances for Person
instance tag2Optional :: Tag2 Optional where t2 = Proxy2
instance typeableOptional :: Typeable a => Typeable (Optional a) where
typeRep = typerepImpl2
typeRepFromVal :: forall a. Typeable a => a -> TypeRep a
typeRepFromVal _ = typeRep