Modulehackage-security-0.6.4.0

Hackage.Security.Trusted

Synopsis

value(<$$>) :: StaticPtr (a -> b) -> Trusted a -> Trusted b

valuetrustedFileInfoEqual :: Trusted FileInfo -> Trusted FileInfo -> Bool

valuetrustApply :: Trusted (a -> b) -> Trusted a -> Trusted b

valuetrustElems :: Traversable f => Trusted (f a) -> f (Trusted a)

valuetrustStatic :: StaticPtr a -> Trusted a

valuetrustVerified :: SignaturesVerified a -> Trusted a

valueverifyFingerprints

valueverifyRole'

datadata StaticPtr a

A reference to a value of type a.

Instances1IsStatic

classclass VerifyRole a where

Instances4VerifyRole

VerifyRole MirrorsDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted
VerifyRole RootDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted
VerifyRole SnapshotDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted
VerifyRole TimestampDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted

datadata RootUpdated

Instances3Show, Exception, Pretty

Show RootUpdatedDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCB
Exception RootUpdatedDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCB
Pretty RootUpdatedDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCB

newtypenewtype SignaturesVerified a

valuesignaturesVerified :: SignaturesVerified a -> a

newtypenewtype Trusted a

Instances2Eq, Show

Eq a => Eq (Trusted a)Defined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCB
Show a => Show (Trusted a)Defined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCB

valuetrusted :: Trusted a -> a

datadata VerificationError

Instances3Show, Exception, Pretty

Show VerificationErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCB
Exception VerificationErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCB
Pretty VerificationErrorDefined in hackage-security-0.6.4.0 · Hackage.Security.Trusted.TCB

typetype VerificationHistory = [Either RootUpdated VerificationError]