Skip to content

Instantly share code, notes, and snippets.

@hgiasac

hgiasac/typeable33.hs Secret

Created January 4, 2019 17:55
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save hgiasac/2e241b46913cd70f332726d4abe48d29 to your computer and use it in GitHub Desktop.
Save hgiasac/2e241b46913cd70f332726d4abe48d29 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
typeable33.hs
data TypeRep (a :: k) where
TrTyCon :: !Fingerprint -> TyCon -> TypeRep k -> TypeRep (a :: k)
TrApp :: forall k1 k2 (a :: k1 -> k2) (b :: k1).
!Fingerprint
-> TypeRep (a :: k1 -> k2)
-> TypeRep (b :: k1)
-> TypeRep (a b)
TrFun :: forall (r1 :: RuntimeRep) (r2 :: RuntimeRep)
(a :: TYPE r1) (b :: TYPE r2).
!Fingerprint
-> TypeRep a
-> TypeRep b
-> TypeRep (a -> b)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment