Satchmo.Unary

Documentation

data Number

Instances

(Monad m, Decode m Boolean Bool) => Decode m Number Integer

Defined in Satchmo.Unary.Data

Methods

decode :: Number -> m Integer

(Monad m, Decode m Boolean Bool) => Decode m Number Int

Defined in Satchmo.Unary.Data

Methods

decode :: Number -> m Int

bits :: Number -> [Boolean]

contents is [ 1 .. 1 0 .. 0 ] number of 1 is value of number

make :: [Boolean] -> Number

width :: Number -> Int

number :: MonadSAT m => Int -> m Number

declare a number with range (0, w)

constant :: MonadSAT m => Integer -> m Number

module Satchmo.Unary.Op.Flexible