Safe Haskell	Safe
Language	Haskell98

Data.Some

Documentation

data Some tag where Source #

Constructors

This :: !(tag t) -> Some tag

Instances

GEq tag => Eq (Some tag) Source #
Instance details Defined in Data.Some Methods (==) :: Some tag -> Some tag -> Bool Source # (/=) :: Some tag -> Some tag -> Bool Source #
GCompare tag => Ord (Some tag) Source #
Instance details Defined in Data.Some Methods compare :: Some tag -> Some tag -> Ordering Source # (<) :: Some tag -> Some tag -> Bool Source # (<=) :: Some tag -> Some tag -> Bool Source # (>) :: Some tag -> Some tag -> Bool Source # (>=) :: Some tag -> Some tag -> Bool Source # max :: Some tag -> Some tag -> Some tag Source # min :: Some tag -> Some tag -> Some tag Source #
GRead f => Read (Some f) Source #
Instance details Defined in Data.Some Methods readsPrec :: Int -> ReadS (Some f) Source # readList :: ReadS [Some f] Source # readPrec :: ReadPrec (Some f) Source # readListPrec :: ReadPrec [Some f] Source #
GShow tag => Show (Some tag) Source #
Instance details Defined in Data.Some Methods showsPrec :: Int -> Some tag -> ShowS Source # show :: Some tag -> String Source # showList :: [Some tag] -> ShowS Source #

withSome :: Some tag -> (forall a. tag a -> b) -> b Source #