Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.Extra.Bool

Synopsis

pcompare :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). POrd a => Term s a -> Term s a -> Term s b -> Term s b -> Term s b -> Term s b
pcond :: forall (s :: S) (a :: S -> Type). [Term s a -> Term s a] -> Term s a -> Term s a
passert :: forall (a :: PType) (s :: S). Term s PString -> Term s PBool -> Term s a -> Term s a

Documentation

Arguments

:: forall (a :: S -> Type) (b :: S -> Type) (s :: S). POrd a
=> Term s a	First `Term`
-> Term s a	Second `Term`
-> Term s b	Result if first `Term` is smaller than second
-> Term s b	Result if first `Term` is equal to second
-> Term s b	Result if first `Term` is greater than second
-> Term s b	Final outcome based on test

Perform a 'three-way' comparison on two Terms, then return a result based on the outcome.

Since: 1.0.0

pcond :: forall (s :: S) (a :: S -> Type). [Term s a -> Term s a] -> Term s a -> Term s a Source #

Lisp-like cond: chain together if conditions and the final else case

Since: 3.9.1

Arguments

:: forall (a :: PType) (s :: S). Term s PString	The error message.
-> Term s PBool	The condition.
-> Term s a	The result.
-> Term s a

If the condition evaluated to true, return the third argument. Otherwise error out with the error message.

Since: 3.14.1