Data.Some

Documentation

data Some tag where

Constructors

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

Instances

GEq k tag => Eq (Some k tag)

Methods

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

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

GCompare k tag => Ord (Some k tag)

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)

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)

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