| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hackage.Security.Util.Some
Description
Hiding existentials
Synopsis
- data Some f = forall a. Some (f a)
- data DictEq a where
- class SomeEq f where
- data DictShow a where
- class SomeShow f where
- data DictPretty a where
- DictPretty :: Pretty a => DictPretty a
- class SomePretty f where
- somePretty :: DictPretty (f a)
- typecheckSome :: Typed f => Some f -> Some (TypeOf f) -> Bool
Documentation
Constructors
| forall a. Some (f a) |
Equality
Type f satisfies SomeEq f if f a satisfies Eq independent of a
Serialization
class SomeShow f where Source #
Type f satisfies SomeShow f if f a satisfies Show independent of a
Pretty-printing
data DictPretty a where Source #
Constructors
| DictPretty :: Pretty a => DictPretty a |
class SomePretty f where Source #
Type f satisfies SomeShow f if f a satisfies Show independent of a
Methods
somePretty :: DictPretty (f a) Source #
Instances
| SomePretty IndexFile Source # | |
Defined in Hackage.Security.TUF.Layout.Index Methods somePretty :: DictPretty (IndexFile a) Source # | |