95b00c15ffc697e7e1fb5d2bbda73ae80bcc6f96
[ghc.git] / libraries / base / GHC / IP.hs
1 {-# LANGUAGE MultiParamTypeClasses #-}
2 {-# LANGUAGE FunctionalDependencies #-}
3 {-# LANGUAGE KindSignatures #-}
4 {-# LANGUAGE DataKinds #-}
5 {-# LANGUAGE NoImplicitPrelude #-}
6
7 -- | /Since: 4.6.0.0/
8 module GHC.IP (IP(..)) where
9
10 import GHC.TypeLits
11
12 -- | The syntax @?x :: a@ is desugared into @IP "x" a@
13 class IP (x :: Symbol) a | x -> a where
14 ip :: a
15
16