IdrisDoc: Data.Bool.Extra

# Data.Bool.Extra

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