Modulehackage-security-0.6.4.0

Hackage.Security.Client.Formats

Synopsis

valueformatsLookup :: HasFormat fs f -> Formats fs a -> a

valueformatsMap :: (forall f. Format f -> a -> b) -> Formats fs a -> Formats fs b

valueformatsMember :: Format f -> Formats fs a -> Maybe (HasFormat fs f)

valuehasFormatAbsurd :: HasFormat () f -> a

valuehasFormatGet :: HasFormat fs f -> Format f

datadata Format a where

Instances3Unify, Eq, Show

Unify FormatDefined in hackage-security-0.6.4.0 · Hackage.Security.Client.Formats
Eq (Format f)Defined in hackage-security-0.6.4.0 · Hackage.Security.Client.Formats
Show (Format f)Defined in hackage-security-0.6.4.0 · Hackage.Security.Client.Formats

datadata FormatGz

datadata FormatUn

datadata Formats a b where

Instances3Functor, Eq, Show

Functor (Formats fs)Defined in hackage-security-0.6.4.0 · Hackage.Security.Client.Formats
Eq a => Eq (Formats fs a)Defined in hackage-security-0.6.4.0 · Hackage.Security.Client.Formats
Show a => Show (Formats fs a)Defined in hackage-security-0.6.4.0 · Hackage.Security.Client.Formats

datadata HasFormat a b where

Instances2Eq, Show

Eq (HasFormat fs f)Defined in hackage-security-0.6.4.0 · Hackage.Security.Client.Formats
Show (HasFormat fs f)Defined in hackage-security-0.6.4.0 · Hackage.Security.Client.Formats