src/core/boolean.slate

   1 "Logical NOT."
   2 _@True not [False].
   3 _@False not [True].
   4
   5 "Boolean-conditional evaluation."
   6 _@True ifTrue: block ifFalse: _ [block do].
   7 _@False ifTrue: _ ifFalse: block [block do].
   8
   9 bool@(Boolean traits) ifTrue: block
  10 "Some sugaring for ifTrue:ifFalse:."
  11 [
  12   bool ifTrue: block ifFalse: []
  13 ].
  14
  15 bool@(Boolean traits) ifFalse: block
  16 "Some sugaring for ifTrue:ifFalse:."
  17 [
  18   bool ifTrue: [] ifFalse: block
  19 ].
  20
  21 "Logical AND and OR. This works by having True and False be children of
  22 Boolean traits."
  23
  24 _@True /\ _@True [True].
  25 _@(Boolean traits) /\ _@(Boolean traits) [False].
  26 _@False \/ _@False [False].
  27 _@(Boolean traits) \/ _@(Boolean traits) [True].
  28
  29 "Boolean Equivalence."
  30 x@(Boolean traits) eqv: y@(Boolean traits) [x == y].
  31
  32 "Boolean Exclusive OR."
  33 x@(Boolean traits) xor: y@(Boolean traits) [x eqv: y not].
  34
  35 "Implication (not entailment)."
  36 x@(Boolean traits) --> y@(Boolean traits) [x not \/ y].
  37
  38 bool@(Boolean traits) and: block
  39 "Conditional AND, but it can return the value of the block."
  40 [bool ifTrue: block ifFalse: [False]].
  41
  42 bool@(Boolean traits) or: block
  43 "Conditional OR, but it can return the value of the block."
  44 [bool ifTrue: [True] ifFalse: block].
  45
  46 bool@(Boolean traits) and: x and: y
  47 "Sugaring."
  48 [(bool and: x) and: y].
  49
  50 bool@(Boolean traits) and: x and: y and: z
  51 "Sugaring."
  52 [((bool and: x) and: y) and: z].
  53
  54 bool@(Boolean traits) or: x or: y
  55 "Sugaring."
  56 [(bool or: x) or: y].
  57
  58 bool@(Boolean traits) or: x or: y or: z
  59 "Sugaring."
  60 [((bool or: x) or: y) or: z].
  61
  62 "Administrative/prettying methods:" (
  63 _@True printName ['True'].
  64 _@False printName ['False'].
  65 ).