Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. class DownwardEnum a

   prelude-safeenum	Prelude.SafeEnum

   A class for downward enumerable types. That is, we can enumerate smaller and smaller values, eventually getting every one of them; i.e., given any x, for all y such that y `precedes` x, it must be the case that y occurs within some finite prefix of enumDownFrom x. We require that precedes forms a strict partial order. That is, it must obey the following laws (N.B., if the first two laws hold, then the third one follows for free):

   if x `precedes` y && y `precedes` z then x `precedes` z
   if x `precedes` y then not (y `precedes` x)
   not (x `precedes` x)
   

   Moreover, we require that precedes agrees with pred, and that pred is exhaustive for precedes (assuming Eq a, by magic if need be):

   if pred x == Just y then y `precedes` x
   if x `precedes` y   then x `elem` enumDownFrom y
   

   Minimal complete definition: pred, precedes.

2. class UpwardEnum a

   prelude-safeenum	Prelude.SafeEnum

   A class for upward enumerable types. That is, we can enumerate larger and larger values, eventually getting every one of them; i.e., given any x, for all y such that y `succeeds` x, it must be the case that y occurs within some finite prefix of enumFrom x. We require that succeeds forms a strict partial order. That is, it must obey the following laws (N.B., if the first two laws hold, then the third one follows for free):

   if x `succeeds` y && y `succeeds` z then x `succeeds` z
   if x `succeeds` y then not (y `succeeds` x)
   not (x `succeeds` x)
   

   Moreover, we require that succeeds agrees with succ, and that succ is exhaustive for succeeds (assuming Eq a, by magic if need be):

   if succ x == Just y then y `succeeds` x
   if x `succeeds` y   then x `elem` enumFrom y
   

   Minimal complete definition: succ, succeeds.

3. fromEnum :: Enum a => a -> Maybe Int

   prelude-safeenum	Prelude.SafeEnum

   Convert to an Int.

4. toEnum :: Enum a => Int -> Maybe a

   prelude-safeenum	Prelude.SafeEnum

   Convert from an Int.

5. protoEnum :: MessageEnum a => ReadM a

   proto-lens-optparse	Data.ProtoLens.Optparse

   An optparse-applicative ReadM for an enum name or number.

6. FeatureSet'ENUM_TYPE_UNKNOWN :: FeatureSet'EnumType

   proto-lens-protobuf-types	Proto.Google.Protobuf.Descriptor

   No documentation available.

7. data FeatureSet'EnumType

   proto-lens-protobuf-types	Proto.Google.Protobuf.Descriptor

   No documentation available.

8. data FeatureSet'EnumType

   proto-lens-protobuf-types	Proto.Google.Protobuf.Descriptor

   No documentation available.

9. FieldDescriptorProto'TYPE_ENUM :: FieldDescriptorProto'Type

   proto-lens-protobuf-types	Proto.Google.Protobuf.Descriptor

   No documentation available.

10. FieldOptions'TARGET_TYPE_ENUM :: FieldOptions'OptionTargetType

    proto-lens-protobuf-types	Proto.Google.Protobuf.Descriptor

    No documentation available.

Page 292 of many | Previous | Next