typecheck-plugin-nat-simple-0.1.0.2: Simple type check plugin which calculate addition, subtraction and less-or-equal-than (Index)

typecheck-plugin-nat-simple-0.1.0.2: Simple type check plugin which calculate addition, subtraction and less-or-equal-than

Index

.+.	Data.Log
:+	Data.Derivation.Expression
:-	Data.Derivation.Expression
:<=	Data.Derivation.Expression
:==	Data.Derivation.Expression
Bool	Data.Derivation.Expression
Boolean	Data.Derivation.Expression
canDerive	Data.Derivation.CanDerive
catch	Control.Monad.Try
cons	Control.Monad.Try
Const	Data.Derivation.Expression
decode	Plugin.TypeCheck.Nat.Simple.Decode
decodeAll	Plugin.TypeCheck.Nat.Simple.Decode
Exp	Data.Derivation.Expression
ExpType	Data.Derivation.Expression
fromSDoc	Data.Log
gatherSuccess	Control.Monad.Try
Givens	Data.Derivation.CanDerive
givens	Data.Derivation.CanDerive
intersperse	Data.Log
IsSDoc	Data.Log
Log	Data.Log
log	Data.Log
Loggable	Data.Log
logVar	Data.Log
maybeToTry	Control.Monad.Try
Message	Data.Log
message	Data.Log
messageList	Data.Log
Number	Data.Derivation.Expression
parseConstraint	Data.Derivation.Parse
partial	Control.Monad.Try
plugin	Plugin.TypeCheck.Nat.Simple
rights	Control.Monad.Try
runTry	Control.Monad.Try
SDocStr	Data.Log
Set	Control.Monad.Try
tell	Control.Monad.Try
throw	Control.Monad.Try
Try	Control.Monad.Try
typeCheckWith	Plugin.TypeCheck.Nat.Simple.TypeCheckWith
unwords	Data.Log
Var
1 (Data Constructor)	Data.Derivation.Expression
2 (Type/Class)	Data.Derivation.Parse
Wanted	Data.Derivation.CanDerive
wanted	Data.Derivation.CanDerive