files/practicum/StdBool2.dcl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

definition module StdBool2

import StdBool

class    ~~            a :: !a -> a
class   (|||) infixr 2 a :: !a !a -> a
class   (&&&) infixr 3 a :: !a !a -> a

instance ~~  Bool
instance ||| Bool
instance &&& Bool

instance ~~  (a -> Bool)
instance ||| (a -> Bool)
instance &&& (a -> Bool)