typelevelshot.txt

gistfile1.txt

Prelude M R> :set -XTypeApplications -XDataKinds -XFlexibleContexts -XAllowAmbiguousTypes
import qualified Data.RBR as R -- from "red-black-record"

Prelude M R> :{
Prelude M R| let r = R.insertI @"a" (3::Int)
Prelude M R|       . R.insertI @"b" False
Prelude M R|       . R.insertI @"c" 'c'
Prelude M R|       $ R.unit
Prelude M R| :}
Prelude M R> :t r
r :: R.Record
       R.I
       ('Data.RBR.Internal.N
          'Data.RBR.Internal.B
          ('Data.RBR.Internal.N
             'Data.RBR.Internal.B
             'Data.RBR.Internal.E
             "a"
             Int
             'Data.RBR.Internal.E)
          "b"
          Bool
          ('Data.RBR.Internal.N
             'Data.RBR.Internal.B
             'Data.RBR.Internal.E
             "c"
             Char
             'Data.RBR.Internal.E))
             
r :: R.Record R.I (R.FromList '[ '("a",Int), '("b",Bool), '("c",Char) ])