Data.Some

Documentation

data Some tag where

Bundled Patterns

pattern Some :: tag a -> Some tag

pattern This :: tag a -> Some tag

Deprecated: Use Some instead

Instances

GEq tag => Eq (Some tag)

Defined in Data.Some

Methods

(==) :: Some tag -> Some tag -> Bool

(/=) :: Some tag -> Some tag -> Bool

GCompare tag => Ord (Some tag)

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)

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)

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