Instances13Bounded, Enum, Eq, Integral, Data, Num, …
Bounded PeanoDefined in peano-0.1.1.0 · Data.PeanoEnum PeanoDefined in peano-0.1.1.0 · Data.PeanoEq PeanoDefined in peano-0.1.1.0 · Data.PeanoIntegral PeanoDefined in peano-0.1.1.0 · Data.PeanoData PeanoDefined in peano-0.1.1.0 · Data.PeanoNum PeanoDefined in peano-0.1.1.0 · Data.PeanoOrd PeanoDefined in peano-0.1.1.0 · Data.PeanoRead PeanoDefined in peano-0.1.1.0 · Data.PeanoReal PeanoDefined in peano-0.1.1.0 · Data.PeanoShow PeanoDefined in peano-0.1.1.0 · Data.PeanoIx PeanoDefined in peano-0.1.1.0 · Data.PeanoGeneric PeanoDefined in peano-0.1.1.0 · Data.Peanotype Rep Peano = D1 ('MetaDataDefined in peano-0.1.1.0 · Data.Peano"Peano"
"Data.Peano"
"peano-0.1.1.0-FPOVV1AiVedEgriwRCXN6d"
'False) (C1 ('MetaCons"Zero"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Succ"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Peano)))