NamedWildcardInDataFamilyInstanceLHS.stderr 854 Bytes
Newer Older
1
TYPE SIGNATURES
2 3 4 5
  NamedWildcardInDataFamilyInstanceLHS.A :: MyKind
  NamedWildcardInDataFamilyInstanceLHS.B :: MyKind
  NamedWildcardInDataFamilyInstanceLHS.SingA ::
    forall (_a :: MyKind).
6
    (_a ~ 'A) =>
7 8 9
    NamedWildcardInDataFamilyInstanceLHS.R:SingMyKind_a _a
  NamedWildcardInDataFamilyInstanceLHS.SingB ::
    forall (_a :: MyKind).
10
    (_a ~ 'B) =>
11
    NamedWildcardInDataFamilyInstanceLHS.R:SingMyKind_a _a
12 13 14 15
TYPE CONSTRUCTORS
  data MyKind = A | B
  data family Sing (a :: k)
COERCION AXIOMS
16
  axiom NamedWildcardInDataFamilyInstanceLHS.D:R:SingMyKind_a0 ::
17 18 19 20 21
    Sing = NamedWildcardInDataFamilyInstanceLHS.R:SingMyKind_a
      -- Defined at NamedWildcardInDataFamilyInstanceLHS.hs:8:15
FAMILY INSTANCES
  data instance Sing
Dependent modules: []
22 23
Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
                     integer-gmp-1.0.2.0]