Safe Haskell	Trustworthy
Language	Haskell98

Data.Some

Documentation

data Some tag where Source #

Bundled Patterns

pattern Some :: tag a -> Some tag
pattern This :: tag a -> Some tag	Deprecated: Use `Some` instead

Instances

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

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