Rep.hs-boot 683 Bytes
Newer Older
Sylvain Henry's avatar
Sylvain Henry committed
1
module GHC.Core.TyCo.Rep where
2

Krzysztof Gogolewski's avatar
Krzysztof Gogolewski committed
3
import GHC.Utils.Outputable ( Outputable )
4
import Data.Data  ( Data )
Sylvain Henry's avatar
Sylvain Henry committed
5
import {-# SOURCE #-} GHC.Types.Var( Var, ArgFlag, AnonArgFlag )
6
import {-# SOURCE #-} GHC.Core.TyCon ( TyCon )
batterseapower's avatar
batterseapower committed
7

8
data Type
9 10
data Coercion
data UnivCoProvenance
Ben Gamari's avatar
Ben Gamari committed
11
data TyLit
Ningning Xie's avatar
Ningning Xie committed
12
data TyCoBinder
Ningning Xie's avatar
Ningning Xie committed
13
data MCoercion
14

15 16 17
data Scaled a
type Mult = Type

batterseapower's avatar
batterseapower committed
18
type PredType = Type
19
type Kind = Type
20
type ThetaType = [PredType]
Ningning Xie's avatar
Ningning Xie committed
21 22
type CoercionN = Coercion
type MCoercionN = MCoercion
23

Krzysztof Gogolewski's avatar
Krzysztof Gogolewski committed
24
mkFunTyMany :: AnonArgFlag -> Type -> Type -> Type
Simon Peyton Jones's avatar
Simon Peyton Jones committed
25
mkForAllTy :: Var -> ArgFlag -> Type -> Type
26
mkTyConTy_ :: TyCon -> Type
27

Sylvain Henry's avatar
Sylvain Henry committed
28
instance Data Type  -- To support Data instances in GHC.Core.Coercion.Axiom
Krzysztof Gogolewski's avatar
Krzysztof Gogolewski committed
29
instance Outputable Type