dependent-sum-0.4: Dependent sum type
Safe HaskellSafe
LanguageHaskell98

Data.Some

Documentation

data Some tag where Source #

Constructors

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

Instances

Instances details
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 #