Safe Haskell	Safe
Language	Haskell98

Data.Some

Documentation

data Some tag where Source #

Constructors

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

Instances

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

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