Control.Static.Closure.HasClosureDict

Documentation

class c => HasClosureDict c where

Minimal complete definition

getClosureDict

Methods

getClosureDict :: IsClosure t => t (Dict c)

Instances

HasClosureDict (Binary Bool)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Bool))

HasClosureDict (Binary Char)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Char))

HasClosureDict (Binary Double)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Double))

HasClosureDict (Binary Float)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Float))

HasClosureDict (Binary Int)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Int))

HasClosureDict (Binary Int8)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Int8))

HasClosureDict (Binary Int16)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Int16))

HasClosureDict (Binary Int32)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Int32))

HasClosureDict (Binary Int64)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Int64))

HasClosureDict (Binary Integer)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Integer))

HasClosureDict (Binary Natural)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Natural))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary [a])

Methods

getClosureDict :: IsClosure t => t (Dict (Binary [a]))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Maybe a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Maybe a)))

HasClosureDict (Binary Ordering)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Ordering))

(Typeable * a, Typeable * a, Typeable * a, HasClosureDict (Binary a), HasClosureDict (Integral a)) => HasClosureDict (Binary (Ratio a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Ratio a)))

HasClosureDict (Binary Word)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Word))

HasClosureDict (Binary Word8)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Word8))

HasClosureDict (Binary Word16)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Word16))

HasClosureDict (Binary Word32)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Word32))

HasClosureDict (Binary Word64)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Word64))

(Typeable * a, Typeable * b, Typeable * a, Typeable * b, HasClosureDict (Binary a), HasClosureDict (Binary b)) => HasClosureDict (Binary (Either a b))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Either a b)))

HasClosureDict (Binary RuntimeRep)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary RuntimeRep))

HasClosureDict (Binary VecCount)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary VecCount))

HasClosureDict (Binary VecElem)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary VecElem))

(Typeable * a, Typeable * a, HasClosureDict (Typeable * a)) => HasClosureDict (Binary (TypeRep * a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (TypeRep * a)))

HasClosureDict (Binary SomeTypeRep)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary SomeTypeRep))

HasClosureDict (Binary ())

Methods

getClosureDict :: IsClosure t => t (Dict (Binary ()))

(Typeable * a, Typeable * b, Typeable * a, Typeable * b, HasClosureDict (Binary a), HasClosureDict (Binary b)) => HasClosureDict (Binary (a, b))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (a, b)))

(Typeable * a, Typeable * b, Typeable * c, Typeable * a, Typeable * b, Typeable * c, HasClosureDict (Binary a), HasClosureDict (Binary b), HasClosureDict (Binary c)) => HasClosureDict (Binary (a, b, c))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (a, b, c)))

(Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * a, Typeable * b, Typeable * c, Typeable * d, HasClosureDict (Binary a), HasClosureDict (Binary b), HasClosureDict (Binary c), HasClosureDict (Binary d)) => HasClosureDict (Binary (a, b, c, d))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (a, b, c, d)))

(Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, HasClosureDict (Binary a), HasClosureDict (Binary b), HasClosureDict (Binary c), HasClosureDict (Binary d), HasClosureDict (Binary e)) => HasClosureDict (Binary (a, b, c, d, e))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (a, b, c, d, e)))

(Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, HasClosureDict (Binary a), HasClosureDict (Binary b), HasClosureDict (Binary c), HasClosureDict (Binary d), HasClosureDict (Binary e), HasClosureDict (Binary f)) => HasClosureDict (Binary (a, b, c, d, e, f))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (a, b, c, d, e, f)))

(Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, Typeable * g, Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, Typeable * g, HasClosureDict (Binary a), HasClosureDict (Binary b), HasClosureDict (Binary c), HasClosureDict (Binary d), HasClosureDict (Binary e), HasClosureDict (Binary f), HasClosureDict (Binary g)) => HasClosureDict (Binary (a, b, c, d, e, f, g))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (a, b, c, d, e, f, g)))

(Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, Typeable * g, Typeable * h, Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, Typeable * g, Typeable * h, HasClosureDict (Binary a), HasClosureDict (Binary b), HasClosureDict (Binary c), HasClosureDict (Binary d), HasClosureDict (Binary e), HasClosureDict (Binary f), HasClosureDict (Binary g), HasClosureDict (Binary h)) => HasClosureDict (Binary (a, b, c, d, e, f, g, h))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (a, b, c, d, e, f, g, h)))

(Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, Typeable * g, Typeable * h, Typeable * i, Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, Typeable * g, Typeable * h, Typeable * i, HasClosureDict (Binary a), HasClosureDict (Binary b), HasClosureDict (Binary c), HasClosureDict (Binary d), HasClosureDict (Binary e), HasClosureDict (Binary f), HasClosureDict (Binary g), HasClosureDict (Binary h), HasClosureDict (Binary i)) => HasClosureDict (Binary (a, b, c, d, e, f, g, h, i))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (a, b, c, d, e, f, g, h, i)))

(Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, Typeable * g, Typeable * h, Typeable * i, Typeable * j, Typeable * a, Typeable * b, Typeable * c, Typeable * d, Typeable * e, Typeable * f, Typeable * g, Typeable * h, Typeable * i, Typeable * j, HasClosureDict (Binary a), HasClosureDict (Binary b), HasClosureDict (Binary c), HasClosureDict (Binary d), HasClosureDict (Binary e), HasClosureDict (Binary f), HasClosureDict (Binary g), HasClosureDict (Binary h), HasClosureDict (Binary i), HasClosureDict (Binary j)) => HasClosureDict (Binary (a, b, c, d, e, f, g, h, i, j))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (a, b, c, d, e, f, g, h, i, j)))

HasClosureDict (Binary TyCon)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary TyCon))

HasClosureDict (Binary KindRep)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary KindRep))

HasClosureDict (Binary TypeLitSort)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary TypeLitSort))

HasClosureDict (Binary Version)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Version))

HasClosureDict (Binary ShortByteString)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary ShortByteString))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Last a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Last a)))

(Typeable * k, Typeable * e, Typeable * k, Typeable * e, HasClosureDict (Binary k), HasClosureDict (Binary e)) => HasClosureDict (Binary (Map k e))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Map k e)))

HasClosureDict (Binary Any)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Any))

HasClosureDict (Binary All)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary All))

(Typeable * i, Typeable * e, Typeable * i, Typeable * i, Typeable * e, Typeable * e, HasClosureDict (Binary i), HasClosureDict (Ix i), HasClosureDict (Binary e), HasClosureDict (IArray UArray e)) => HasClosureDict (Binary (UArray i e))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (UArray i e)))

(Typeable * i, Typeable * e, Typeable * i, Typeable * i, Typeable * e, HasClosureDict (Binary i), HasClosureDict (Ix i), HasClosureDict (Binary e)) => HasClosureDict (Binary (Array i e))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Array i e)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Complex a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Complex a)))

Typeable * a => HasClosureDict (Binary (Fixed a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Fixed a)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Min a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Min a)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Max a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Max a)))

(Typeable * a, Typeable * b, Typeable * a, Typeable * b, HasClosureDict (Binary a), HasClosureDict (Binary b)) => HasClosureDict (Binary (Arg a b))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Arg a b)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (First a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (First a)))

(Typeable * m, Typeable * m, HasClosureDict (Binary m)) => HasClosureDict (Binary (WrappedMonoid m))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (WrappedMonoid m)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Option a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Option a)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (NonEmpty a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (NonEmpty a)))

HasClosureDict (Binary Void)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Void))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Dual a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Dual a)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Sum a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Sum a)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Product a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Product a)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (First a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (First a)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Last a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Last a)))

(Typeable (* -> *) f, Typeable * a, Typeable (* -> *) f, Typeable * a, HasClosureDict (Binary (f a))) => HasClosureDict (Binary (Alt * f a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Alt * f a)))

HasClosureDict (Binary Fingerprint)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Fingerprint))

HasClosureDict (Binary ByteString)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary ByteString))

HasClosureDict (Binary ByteString)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary ByteString))

(Typeable * e, Typeable * e, HasClosureDict (Binary e)) => HasClosureDict (Binary (IntMap e))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (IntMap e)))

HasClosureDict (Binary IntSet)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary IntSet))

(Typeable * e, Typeable * e, HasClosureDict (Binary e)) => HasClosureDict (Binary (Tree e))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Tree e)))

(Typeable * e, Typeable * e, HasClosureDict (Binary e)) => HasClosureDict (Binary (Seq e))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Seq e)))

(Typeable * a, Typeable * a, HasClosureDict (Binary a)) => HasClosureDict (Binary (Set a))

Methods

getClosureDict :: IsClosure t => t (Dict (Binary (Set a)))

HasClosureDict (Binary Extension)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary Extension))

HasClosureDict (Binary ForeignSrcLang)

Methods

getClosureDict :: IsClosure t => t (Dict (Binary ForeignSrcLang))

''Binary)