Documentation
RChar2 :: Rep2 g Char Char | |
RInt2 :: Rep2 g Int Int | |
RUnit2 :: Rep2 g Unit Unit | |
RSum2 :: Rep2 g a b -> Rep2 g c d -> Rep2 g (a :+: c) (b :+: d) | |
RProd2 :: Rep2 g a b -> Rep2 g c d -> Rep2 g (a :*: c) (b :*: d) | |
RCon2 :: String -> Rep2 g a b -> Rep2 g a b | |
RType2 :: EP a c -> EP b d -> Rep2 g c d -> Rep2 g a b | |
RVar2 :: g a b -> Rep2 g a b |