blob: 8260a35d04a2a584e2cf09fa9dd3e544f789eb9e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
the following macros are defined:
type
called :type for "()" (ignoring)
called :type for "True" (ignoring)
called :type for "()" (ignoring)
called :type for "False" (ignoring)
the following macros are defined:
type
called :type for "()" (chaining)
() :: ()
called :type for "True" (chaining)
True :: Bool
called :type for "()" (chaining)
() :: ()
called :type for "False" (chaining)
False :: Bool
no macros defined
() :: ()
True :: Bool
() :: ()
False :: Bool
|
