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

Safe Haskell	Safe
Language	Haskell98

UniqueLogic.ST.TF.Example.Label

Description

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

Synopsis

data Assign = Assign Name T
type Assigns = [Assign]
type Variable s = Variable Assigns s T
globalVariable :: C s => Name -> s (Variable s)
constant :: C s => Rational -> T Assigns s (Variable s)
rule :: ((Maybe T, Maybe T, Maybe T), Assigns)
expression :: ((Maybe T, Maybe T), Assigns)

Documentation

data Assign Source #

Constructors

Instances

Show Assign Source #
Instance details Defined in UniqueLogic.ST.TF.Example.Label Methods showsPrec :: Int -> Assign -> ShowS # show :: Assign -> String # showList :: [Assign] -> ShowS #

type Assigns = [Assign] Source #

type Variable s = Variable Assigns s T Source #

globalVariable :: C s => Name -> s (Variable s) Source #

constant :: C s => 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 #