dependent-sum-0.3.2.1: Dependent sum type

Safe HaskellSafe
LanguageHaskell98

Data.Some

Documentation

data Some tag where Source

Constructors

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

Instances

GEq k tag => Eq (Some k tag) 
GCompare k tag => Ord (Some k tag) 
GRead k f => Read (Some k f) 
GShow k tag => Show (Some k tag) 

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