Source
Contents
Index
satchmo-2.6.0: SAT encoding monad
Safe Haskell
Safe-Inferred
Language
Haskell98
Satchmo.SMT.Exotic.Dict
Documentation
data
Dict
m e b
Source
Constructors
Dict
Fields
info
::
String
domain
::
Domain
fresh
:: m e
finite
:: e -> m b
gg
:: e -> e -> m b
ge
:: e -> e -> m b
plus
:: [e] -> m e
times
:: [e] -> m e