Erebos.Identity

Documentation

data Identity m

Instances

Show (m (Stored (Signed ExtendedIdentityData))) => Show (Identity m)

Defined in Erebos.Identity

Methods

showsPrec :: Int -> Identity m -> ShowS

show :: Identity m -> String

showList :: [Identity m] -> ShowS

SharedType (Maybe ComposedIdentity)

Defined in Erebos.State

Methods

sharedTypeID :: proxy (Maybe ComposedIdentity) -> SharedTypeID

Mergeable (Maybe ComposedIdentity)

Defined in Erebos.Identity

Associated Types

type Component (Maybe ComposedIdentity)

Methods

mergeSorted :: [Stored (Component (Maybe ComposedIdentity))] -> Maybe ComposedIdentity

toComponents :: Maybe ComposedIdentity -> [Stored (Component (Maybe ComposedIdentity))]

Eq (m (Stored (Signed ExtendedIdentityData))) => Eq (Identity m)

Defined in Erebos.Identity

Methods

(==) :: Identity m -> Identity m -> Bool

(/=) :: Identity m -> Identity m -> Bool

type Component (Maybe ComposedIdentity)

Defined in Erebos.Identity

type Component (Maybe ComposedIdentity) = Signed ExtendedIdentityData

type ComposedIdentity = Identity List

type UnifiedIdentity = Identity Identity

data IdentityData

Constructors

IdentityData

Fields

• iddPrev :: [Stored (Signed IdentityData)]
• iddName :: Maybe Text
• iddOwner :: Maybe (Stored (Signed IdentityData))
• iddKeyIdentity :: Stored PublicKey
• iddKeyMessage :: Maybe (Stored PublicKey)

Instances

Show IdentityData

Defined in Erebos.Identity

Methods

showsPrec :: Int -> IdentityData -> ShowS

show :: IdentityData -> String

showList :: [IdentityData] -> ShowS

Storable IdentityData

Defined in Erebos.Identity

Methods

store' :: IdentityData -> Store

load' :: Load IdentityData

store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> IdentityData -> IO (Ref' c)

load :: Ref -> IdentityData

data ExtendedIdentityData

Constructors

BaseIdentityData IdentityData

ExtendedIdentityData IdentityExtension

Instances

Show ExtendedIdentityData

Defined in Erebos.Identity

Methods

showsPrec :: Int -> ExtendedIdentityData -> ShowS

show :: ExtendedIdentityData -> String

showList :: [ExtendedIdentityData] -> ShowS

Storable ExtendedIdentityData

Defined in Erebos.Identity

Methods

store' :: ExtendedIdentityData -> Store

load' :: Load ExtendedIdentityData

store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ExtendedIdentityData -> IO (Ref' c)

load :: Ref -> ExtendedIdentityData

data IdentityExtension

Constructors

IdentityExtension

Fields

• idePrev :: [Stored (Signed ExtendedIdentityData)]
• ideBase :: Stored (Signed IdentityData)
• ideName :: Maybe Text
• ideOwner :: Maybe (Stored (Signed ExtendedIdentityData))

Instances

Show IdentityExtension

Defined in Erebos.Identity

Methods

showsPrec :: Int -> IdentityExtension -> ShowS

show :: IdentityExtension -> String

showList :: [IdentityExtension] -> ShowS

Storable IdentityExtension

Defined in Erebos.Identity

Methods

store' :: IdentityExtension -> Store

load' :: Load IdentityExtension

store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> IdentityExtension -> IO (Ref' c)

load :: Ref -> IdentityExtension

idData :: UnifiedIdentity -> Stored (Signed IdentityData)

idDataF :: Identity m -> m (Stored (Signed IdentityData))

idExtData :: UnifiedIdentity -> Stored (Signed ExtendedIdentityData)

idExtDataF :: Identity m -> m (Stored (Signed ExtendedIdentityData))

idName :: Identity m -> Maybe Text

idOwner :: Identity m -> Maybe ComposedIdentity

idUpdates :: Identity m -> [Stored (Signed ExtendedIdentityData)]

idKeyIdentity :: Identity m -> Stored PublicKey

idKeyMessage :: Identity m -> Stored PublicKey

eiddBase :: ExtendedIdentityData -> IdentityData

eiddStoredBase :: Stored (Signed ExtendedIdentityData) -> Stored (Signed IdentityData)

eiddName :: ExtendedIdentityData -> Maybe Text

eiddOwner :: ExtendedIdentityData -> Maybe (Stored (Signed ExtendedIdentityData))

eiddKeyIdentity :: ExtendedIdentityData -> Stored PublicKey

eiddKeyMessage :: ExtendedIdentityData -> Maybe (Stored PublicKey)

emptyIdentityData :: Stored PublicKey -> IdentityData

emptyIdentityExtension :: Stored (Signed IdentityData) -> IdentityExtension

createIdentity :: Storage -> Maybe Text -> Maybe UnifiedIdentity -> IO UnifiedIdentity

validateIdentity :: Stored (Signed IdentityData) -> Maybe UnifiedIdentity

validateIdentityF :: IdentityKind m => m (Stored (Signed IdentityData)) -> Maybe (Identity m)

validateIdentityFE :: IdentityKind m => m (Stored (Signed IdentityData)) -> Except String (Identity m)

validateExtendedIdentity :: Stored (Signed ExtendedIdentityData) -> Maybe UnifiedIdentity

validateExtendedIdentityF :: IdentityKind m => m (Stored (Signed ExtendedIdentityData)) -> Maybe (Identity m)

validateExtendedIdentityFE :: IdentityKind m => m (Stored (Signed ExtendedIdentityData)) -> Except String (Identity m)

loadIdentity :: String -> LoadRec ComposedIdentity

loadUnifiedIdentity :: String -> LoadRec UnifiedIdentity

mergeIdentity :: (MonadStorage m, MonadError String m, MonadIO m) => Identity f -> m UnifiedIdentity

toUnifiedIdentity :: Identity m -> Maybe UnifiedIdentity

toComposedIdentity :: Identity m -> ComposedIdentity

updateIdentity :: [Stored (Signed ExtendedIdentityData)] -> Identity m -> ComposedIdentity

updateOwners :: [Stored (Signed ExtendedIdentityData)] -> Identity m -> Identity m

sameIdentity :: (Foldable m, Foldable m') => Identity m -> Identity m' -> Bool

unfoldOwners :: Foldable m => Identity m -> [ComposedIdentity]

finalOwner :: (Foldable m, Applicative m) => Identity m -> ComposedIdentity

displayIdentity :: (Foldable m, Applicative m) => Identity m -> Text