We need to implement the following logical functions:
Bool:
- 0 - False
- any other -- True
LUT -- Look Up Table
data LUT v x = LUT (Map [Boolean] Boolean) [I v] (O v)
where:
[I v] -- list of input variables.Map [Boolean] Boolean -- Truth Table.- length of
[Boolean] and [I v] should equal (will be nice to check it via type).
We need to implement the following logical functions:
Bool:
LUT -- Look Up Table
where:
[I v]-- list of input variables.Map [Boolean] Boolean-- Truth Table.[Boolean]and[I v]should equal (will be nice to check it via type).