Ludwig.Bool

Module Members

and

(Function)

Type Signature

 fun (Bool, Bool) -> Bool
Argument: x
Type: Bool
Argument: y
Type: Bool
Returns:
Type: Bool

not

(Function)

Type Signature

 fun (Bool) -> Bool
Argument: x
Type: Bool
Returns:
Type: Bool

or

(Function)

Type Signature

 fun (Bool, Bool) -> Bool
Argument: x
Type: Bool
Argument: y
Type: Bool
Returns:
Type: Bool

logical NOT (!)

(Operator)

operator ! prefix:
  not

logical AND (&&)

(Operator)

operator && infixr 3:
  and

logical OR (||)

(Operator)

operator || infixr 2:
  or