blob: 7ea3af9ba9e91920301627d7901c982147ac0027 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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.15.0.0, ghc-bignum-1.0, ghc-prim-0.7.0]
|
