blob: 44f1f3cfc2ba06ae12fda2be9b5694a61f43251b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-- Used only by ToIface.hs-boot
module IfaceType( IfaceType, IfaceTyCon, IfaceForAllBndr
, IfaceCoercion, IfaceTyLit, IfaceAppArgs ) where
import Var (VarBndr, ArgFlag)
data IfaceAppArgs
data IfaceType
data IfaceTyCon
data IfaceTyLit
data IfaceCoercion
data IfaceBndr
type IfaceForAllBndr = VarBndr IfaceBndr ArgFlag
|