blob: 53f3862f87888cba5a8e64525eca4049526d87c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
TYPE SIGNATURES
x :: forall (x :: Bool). P (F Int) (x |> Sym (T14729.D:R:FInt[0]))
y :: forall (x :: Bool). P Bool x
TYPE CONSTRUCTORS
type family F{1} :: * -> *
roles nominal
data type P{2} :: forall k -> k -> *
roles nominal phantom
COERCION AXIOMS
axiom T14729.D:R:FInt :: F Int = Bool
FAMILY INSTANCES
type instance F Int = Bool -- Defined at T14729.hs:10:15
Dependent modules: []
Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1,
integer-gmp-1.0.2.0]
|
