Inhabited Bool Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited Char Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited Double Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited Float Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited Int Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited Integer Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited Ordering Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited Word Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited () Source # | |
Instance detailsDefined in Proof.Propositional.Inhabited |
Inhabited [a] Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited (Maybe a) Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited (Ratio Integer) Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited (IsTrue 'True) Source # | |
Instance detailsDefined in Proof.Propositional |
Inhabited b => Inhabited (a -> b) Source # | |
Instance detailsDefined in Proof.Propositional.Inhabited |
(Inhabited a, Inhabited b) => Inhabited (a, b) Source # | |
Instance detailsDefined in Proof.Propositional.Inhabited |
(Inhabited a, Inhabited b, Inhabited c) => Inhabited (a, b, c) Source # | |
Instance detailsDefined in Proof.Propositional.Inhabited |
Inhabited (n :~: n) Source # | |
Instance detailsDefined in Proof.Propositional |
(Inhabited a, Inhabited b, Inhabited c, Inhabited d) => Inhabited (a, b, c, d) Source # | |
Instance detailsDefined in Proof.Propositional.Inhabited |