blob: fb011c66c53659adfbd89d436f678c6d80d840e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
TYPE SIGNATURES
foo ::
forall s b chain.
Zork s (Z [Char]) b =>
Q s (Z [Char]) chain -> ST s ()
s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
TYPE CONSTRUCTORS
data Q s a chain = Node s a chain
Promotable
data Z a = Z a
Promotable
class Zork s a b | a -> b where
huh :: Q s a chain -> ST s ()
COERCION AXIOMS
axiom NTCo:Zork ::
Zork s a b = forall chain. Q s a chain -> ST s ()
Dependent modules: []
Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
integer-gmp-1.0.0.0]
|