absurdNo | Data.Type.Dec |
boringYes | Data.Type.Dec |
contradict | Data.Type.Dec |
contraposition | Data.Type.Dec |
Dec | Data.Type.Dec |
Decidable | Data.Type.Dec |
decide | Data.Type.Dec |
decNeg | Data.Type.Dec |
decShow | Data.Type.Dec |
decToBool | Data.Type.Dec |
decToMaybe | Data.Type.Dec |
Neg | Data.Type.Dec |
No | Data.Type.Dec |
toNegNeg | Data.Type.Dec |
tripleNeg | Data.Type.Dec |
Yes | Data.Type.Dec |