blob: 61ec4e055123282221e22c48589bf77ecd503f44 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
TYPE SIGNATURES
foo ::
forall {s} {b} {chain}.
Zork s (Z [Char]) b =>
Q s (Z [Char]) chain -> ST s ()
huh :: forall s a b chain. Zork s a b => Q s a chain -> ST s ()
s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
TYPE CONSTRUCTORS
data type Q{3} :: * -> * -> * -> *
data type Z{1} :: * -> *
class Zork{3} :: * -> * -> * -> Constraint
COERCION AXIOMS
axiom N:Zork :: Zork s a b = forall chain. Q s a chain -> ST s ()
DATA CONSTRUCTORS
Z :: forall a. a -> Z a
Node :: forall s a chain. s -> a -> chain -> Q s a chain
Dependent modules: []
Dependent packages: [base-4.13.0.0, ghc-bignum-1.0, ghc-prim-0.7.0]
|