unique-logic-tf-0.5.0.1: Solve simple simultaneous equations

Safe HaskellSafe
LanguageHaskell98

UniqueLogic.ST.TF.Example.Label

Description

Warning: This module is intended for documentation purposes. Do not import it!

Synopsis

Documentation

data Assign Source #

Constructors

Assign Name T 
Instances
Show Assign Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Label

rule :: ((Maybe T, Maybe T, Maybe T), Assigns) Source #

x=1
y=2
z=3
x+y=3
y*z=6
z=3