blob: d303089327b3ddb11cbae2dd2257dcfd92301542 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE KindSignatures #-}
module GHC.Unit.Types where
-- No Prelude. See Note [Exporting pprTrace from GHC.Prelude]
import Language.Haskell.Syntax.Module.Name (ModuleName)
import Data.Kind (Type)
data UnitId
data GenModule (unit :: Type)
data GenUnit (uid :: Type)
type Module = GenModule Unit
type Unit = GenUnit UnitId
moduleName :: GenModule a -> ModuleName
moduleUnit :: GenModule a -> a
|