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