repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
7b44a72e25393afee148868bb39e0936fe3e119f
[clean-tests.git]
/
gengen
/
gengen.hs
1
{-# LANGUAGE GADTs, DeriveGeneric, DefaultSignatures, TypeOperators #-}
2
module Main where
3
4
import GHC.Generics
5
6
data GType a where
7
Unit :: GType (U1 p)
8
Product :: (GType a) (GType b) -> GType ((a :*: b) p)
9
Sum :: (GType a) (GType b) -> GType (a :+: b)
10
11
12
main = putStrLn ""