38941256969268b11a598a2df2dbfeaeafbfdcc1
[ghc.git] / testsuite / tests / ghci / scripts / T9181.stdout
1 type family (GHC.TypeLits.*) (a :: GHC.Types.Nat)
2                              (b :: GHC.Types.Nat)
3             :: GHC.Types.Nat
4 type family (GHC.TypeLits.+) (a :: GHC.Types.Nat)
5                              (b :: GHC.Types.Nat)
6             :: GHC.Types.Nat
7 type family (GHC.TypeLits.-) (a :: GHC.Types.Nat)
8                              (b :: GHC.Types.Nat)
9             :: GHC.Types.Nat
10 type (GHC.TypeLits.<=) (x :: GHC.Types.Nat) (y :: GHC.Types.Nat) =
11   (x GHC.TypeLits.<=? y) ~ 'True :: Constraint
12 type family (GHC.TypeLits.<=?) (a :: GHC.Types.Nat)
13                                (b :: GHC.Types.Nat)
14             :: Bool
15 type family GHC.TypeLits.AppendSymbol (a :: GHC.Types.Symbol)
16                                       (b :: GHC.Types.Symbol)
17             :: GHC.Types.Symbol
18 type family GHC.TypeLits.CmpNat (a :: GHC.Types.Nat)
19                                 (b :: GHC.Types.Nat)
20             :: Ordering
21 type family GHC.TypeLits.CmpSymbol (a :: GHC.Types.Symbol)
22                                    (b :: GHC.Types.Symbol)
23             :: Ordering
24 data GHC.TypeLits.ErrorMessage where
25   GHC.TypeLits.Text :: GHC.Types.Symbol -> GHC.TypeLits.ErrorMessage
26   GHC.TypeLits.ShowType :: t -> GHC.TypeLits.ErrorMessage
27   (GHC.TypeLits.:<>:) :: GHC.TypeLits.ErrorMessage
28                          -> GHC.TypeLits.ErrorMessage -> GHC.TypeLits.ErrorMessage
29   (GHC.TypeLits.:$$:) :: GHC.TypeLits.ErrorMessage
30                          -> GHC.TypeLits.ErrorMessage -> GHC.TypeLits.ErrorMessage
31 class GHC.TypeLits.KnownSymbol (n :: GHC.Types.Symbol) where
32   GHC.TypeLits.symbolSing :: GHC.TypeLits.SSymbol n
33   {-# MINIMAL symbolSing #-}
34 data GHC.TypeLits.SomeSymbol where
35   GHC.TypeLits.SomeSymbol :: GHC.TypeLits.KnownSymbol n =>
36                              (Data.Proxy.Proxy n) -> GHC.TypeLits.SomeSymbol
37 type family GHC.TypeLits.TypeError (a :: GHC.TypeLits.ErrorMessage)
38             :: b
39 type family (GHC.TypeLits.^) (a :: GHC.Types.Nat)
40                              (b :: GHC.Types.Nat)
41             :: GHC.Types.Nat
42 GHC.TypeLits.natVal ::
43   GHC.TypeNats.KnownNat n => proxy n -> Integer
44 GHC.TypeLits.natVal' ::
45   GHC.TypeNats.KnownNat n => GHC.Prim.Proxy# n -> Integer
46 GHC.TypeLits.sameSymbol ::
47   (GHC.TypeLits.KnownSymbol a, GHC.TypeLits.KnownSymbol b) =>
48   Data.Proxy.Proxy a
49   -> Data.Proxy.Proxy b -> Maybe (a Data.Type.Equality.:~: b)
50 GHC.TypeLits.someNatVal :: Integer -> Maybe GHC.TypeNats.SomeNat
51 GHC.TypeLits.someSymbolVal :: String -> GHC.TypeLits.SomeSymbol
52 GHC.TypeLits.symbolVal ::
53   GHC.TypeLits.KnownSymbol n => proxy n -> String
54 GHC.TypeLits.symbolVal' ::
55   GHC.TypeLits.KnownSymbol n => GHC.Prim.Proxy# n -> String
56 class GHC.TypeNats.KnownNat (n :: GHC.Types.Nat) where
57   GHC.TypeNats.natSing :: GHC.TypeNats.SNat n
58   {-# MINIMAL natSing #-}
59 data GHC.Types.Nat
60 data GHC.TypeNats.SomeNat where
61   GHC.TypeNats.SomeNat :: GHC.TypeNats.KnownNat n =>
62                           (Data.Proxy.Proxy n) -> GHC.TypeNats.SomeNat
63 data GHC.Types.Symbol
64 GHC.TypeNats.sameNat ::
65   (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) =>
66   Data.Proxy.Proxy a
67   -> Data.Proxy.Proxy b -> Maybe (a Data.Type.Equality.:~: b)