Data.Dyn

Documentation

data Dyn ctx where

Constructors

Dyn :: ctx a => TypeRep a -> a -> Dyn ctx

Instances

Eq (Dyn Ord)

Defined in Data.Dyn

Methods

(==) :: Dyn Ord -> Dyn Ord -> Bool

(/=) :: Dyn Ord -> Dyn Ord -> Bool

Ord (Dyn Ord)

Defined in Data.Dyn

Methods

compare :: Dyn Ord -> Dyn Ord -> Ordering

(<) :: Dyn Ord -> Dyn Ord -> Bool

(<=) :: Dyn Ord -> Dyn Ord -> Bool

(>) :: Dyn Ord -> Dyn Ord -> Bool

(>=) :: Dyn Ord -> Dyn Ord -> Bool

max :: Dyn Ord -> Dyn Ord -> Dyn Ord

min :: Dyn Ord -> Dyn Ord -> Dyn Ord

toDyn :: (Typeable a, ctx a) => a -> Dyn ctx

withDyns :: Dyn ctx -> Dyn ctx -> (forall a. ctx a => a -> a -> b) -> (SomeTypeRep -> SomeTypeRep -> b) -> b