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

Safe Haskell	None
Language	Haskell2010

Plugin.TypeCheck.Nat.Simple.Decode

Contents

DECODE CT

Synopsis

decodeAll :: (Monoid w, IsSDoc w, Set w w) => [Ct] -> Try w w [Exp Var 'Boolean]
decode :: (Monoid w, IsSDoc w) => Ct -> Try w w (Exp Var 'Boolean)

DECODE CT

decodeAll :: (Monoid w, IsSDoc w, Set w w) => [Ct] -> Try w w [Exp Var 'Boolean] Source #

decode :: (Monoid w, IsSDoc w) => Ct -> Try w w (Exp Var 'Boolean) Source #