Data.Some
data Some tag where Source #
Constructors
Defined in Data.Some
Methods
(==) :: Some tag -> Some tag -> Bool
(/=) :: Some tag -> Some tag -> Bool
compare :: Some tag -> Some tag -> Ordering
(<) :: Some tag -> Some tag -> Bool
(<=) :: Some tag -> Some tag -> Bool
(>) :: Some tag -> Some tag -> Bool
(>=) :: Some tag -> Some tag -> Bool
max :: Some tag -> Some tag -> Some tag
min :: Some tag -> Some tag -> Some tag
readsPrec :: Int -> ReadS (Some f)
readList :: ReadS [Some f]
readPrec :: ReadPrec (Some f)
readListPrec :: ReadPrec [Some f]
showsPrec :: Int -> Some tag -> ShowS
show :: Some tag -> String
showList :: [Some tag] -> ShowS
withSome :: Some tag -> (forall a. tag a -> b) -> b Source #