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

Safe HaskellNone

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

type Assigns = [Assign]Source

type Variable s = Variable Assigns s TSource

globalVariable :: Name -> ST s (Variable s)Source

constant :: Rational -> T Assigns s (Variable s)Source

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

 x=1
 y=2
 z=3

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

expression :: ((Maybe T, Maybe T), Assigns)Source