typecheck-plugin-nat-simple-0.1.0.1: Simple type check plugin which calculate addition, subtraction and less-or-equal-than
Contents
Index
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