Idris2Doc : Data.Bool.Decidable

Data.Bool.Decidable

dataReflects : Type -> Bool -> Type
Totality: total
Constructors:
RTrue : p -> ReflectspTrue
RFalse : Notp -> ReflectspFalse
invert : (arg : Reflectspb) -> (ifbthenpelseNotp)
recompute : Deca -> (0 _ : a) -> a
reflect : (arg : Reflectspb) -> (ifcthenpelseNotp) -> b = c
remember : (ifbthenpelseNotp) -> Reflectspb