summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/Meltdown.stderr
blob: cf6a223c45c2fac797cf898c06d25f6ef05b8c04 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
TYPE SIGNATURES
  isMeltdown :: forall param1 param2. NukeMonad param1 param2 Bool
  unlessMeltdown ::
    forall param1 param2.
    NukeMonad param1 param2 () -> NukeMonad param1 param2 ()
TYPE CONSTRUCTORS
  type role NukeMonad phantom phantom phantom
  data NukeMonad a b c
    Kind: * -> * -> * -> *
COERCION AXIOMS
INSTANCES
  instance Functor (NukeMonad a b) -- Defined at Meltdown.hs:8:10
  instance Applicative (NukeMonad a b)
    -- Defined at Meltdown.hs:11:10
  instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:15:10
Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                     integer-gmp-1.0.0.0]