IdrisDoc
: Data.Bool.Extra
Index
Data.Bool.Extra
orTrueTrue
:
(
x
:
Bool
) ->
x
||
Delay
True
=
True
orSameNeutral
:
(
x
:
Bool
) ->
x
||
Delay
x
=
x
orSameAndRightNeutral
:
(
x
:
Bool
) -> (
right
:
Bool
) ->
x
||
Delay
(
x
&&
Delay
right
)
=
x
orFalseNeutral
:
(
x
:
Bool
) ->
x
||
Delay
False
=
x
andTrueNeutral
:
(
x
:
Bool
) ->
x
&&
Delay
True
=
x
andSameNeutral
:
(
x
:
Bool
) ->
x
&&
Delay
x
=
x
andFalseFalse
:
(
x
:
Bool
) ->
x
&&
Delay
False
=
False