unique-logic-0.4.0.1: Solve simple simultaneous equations

Safe Haskell	Safe-Inferred
Language	Haskell98

UniqueLogic.ST.Example.Label

Description

Deprecated: 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 (Ignore T)
globalVariable :: Name -> ST s (Variable s)
constant :: 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

Instances details

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

type Assigns = [Assign] Source #

type Variable s = Variable Assigns s (Ignore T) Source #

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 #