class ConstantValue v a where |
|
|
class EqualValue v a where |
|
|
(>==<) :: EqualValue v a => v a -> v a -> v Bool |
|
class ConstantValue v Bool => LogicValue v where |
|
|
(>&&<) :: LogicValue v => v Bool -> v Bool -> v Bool |
|
(>||<) :: LogicValue v => v Bool -> v Bool -> v Bool |
|
class CastValue v b a where |
|