Implement foldl with foldr
[packages/base.git] / GHC / IP.hs
1 {-# LANGUAGE MultiParamTypeClasses #-}
2 {-# LANGUAGE FunctionalDependencies #-}
3 {-# LANGUAGE KindSignatures #-}
4 {-# LANGUAGE DataKinds #-}
5 {-# OPTIONS_GHC -XNoImplicitPrelude #-}
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