Documentation

>>> namesOfFields (Proxy :: Proxy A)
["foo","bar","baz"]

>>> :kind! Eot B
Eot B :: *
= Either (Int, ()) (Either ([Char], (Bool, ())) (Either () Void))

>>> genericSerialize (A1 "foo" 42)
[0,3,102,111,111,1,42]
>>> genericSerialize (A2 23 True)
[1,1,23,1,1]

>>> genericDeserialize [0,3,102,111,111,1,42] :: A
A1 {foo = "foo", bar = 42}
>>> genericDeserialize [1,1,23,1,1] :: A
A2 {bar = 23, baz = True}

>>> (genericDeserialize $ genericSerialize $ A1 "foo" 42) :: A
A1 {foo = "foo", bar = 42}

>>> putStrLn $ createTableStatement (Proxy :: Proxy Person)
CREATE TABLE Person COLUMNS (name [Char], age Int);

>>> putStrLn $ createTableStatement (Proxy :: Proxy A)

...
    • No instance for (EotCreateTableStatement
                         Datatype
                         (Either ([Char], (Int, ())) (Either (Int, (Bool, ())) Void)))
        arising from a use of ‘createTableStatement’
...

>>> putStrLn $ createTableStatement (Proxy :: Proxy NoSelectors)
*** Exception: constructor NotSupported has no selectors, this is not supported
...

>>> toString2 (42 :: Int)
"42"

>>> serialize (C1 42 "yay!")
[0,1,42,4,121,97,121,33]