erebos-0.1.9: Decentralized messaging and synchronization

Safe Haskell	None
Language	Haskell2010

Erebos.Identity

Documentation

data Identity (m :: Type -> Type) Source #

Instances

Instances details

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

Instance details

Defined in Erebos.Identity

Methods

showsPrec :: Int -> Identity m -> ShowS #

show :: Identity m -> String #

showList :: [Identity m] -> ShowS #

SharedType (Maybe ComposedIdentity) Source #

Instance details

Defined in Erebos.State

Methods

sharedTypeID :: proxy (Maybe ComposedIdentity) -> SharedTypeID Source #

Mergeable (Maybe ComposedIdentity) Source #

Instance details

Defined in Erebos.Identity

Associated Types

type Component (Maybe ComposedIdentity)
Instance details Defined in Erebos.Identity type Component (Maybe ComposedIdentity) = Signed ExtendedIdentityData

Methods

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

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

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

Instance details

Defined in Erebos.Identity

Methods

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

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

type Component (Maybe ComposedIdentity) Source #

Instance details

Defined in Erebos.Identity

type Component (Maybe ComposedIdentity) = Signed ExtendedIdentityData

type ComposedIdentity = Identity [] Source #

type UnifiedIdentity = Identity Identity Source #

data IdentityData Source #

Constructors

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

Instances

Instances details

Show IdentityData Source #
Instance details Defined in Erebos.Identity Methods showsPrec :: Int -> IdentityData -> ShowS # show :: IdentityData -> String # showList :: [IdentityData] -> ShowS #
Storable IdentityData Source #
Instance details Defined in Erebos.Identity Methods store' :: IdentityData -> Store Source # load' :: Load IdentityData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> IdentityData -> IO (Ref' c) Source # load :: Ref -> IdentityData Source #

data ExtendedIdentityData Source #

Constructors

BaseIdentityData IdentityData
ExtendedIdentityData IdentityExtension

Instances

Instances details

Show ExtendedIdentityData Source #
Instance details Defined in Erebos.Identity Methods showsPrec :: Int -> ExtendedIdentityData -> ShowS # show :: ExtendedIdentityData -> String # showList :: [ExtendedIdentityData] -> ShowS #
Storable ExtendedIdentityData Source #
Instance details Defined in Erebos.Identity Methods store' :: ExtendedIdentityData -> Store Source # load' :: Load ExtendedIdentityData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ExtendedIdentityData -> IO (Ref' c) Source # load :: Ref -> ExtendedIdentityData Source #

data IdentityExtension Source #

Constructors

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

Instances

Instances details

Show IdentityExtension Source #
Instance details Defined in Erebos.Identity Methods showsPrec :: Int -> IdentityExtension -> ShowS # show :: IdentityExtension -> String # showList :: [IdentityExtension] -> ShowS #
Storable IdentityExtension Source #
Instance details Defined in Erebos.Identity Methods store' :: IdentityExtension -> Store Source # load' :: Load IdentityExtension Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> IdentityExtension -> IO (Ref' c) Source # load :: Ref -> IdentityExtension Source #

idData :: UnifiedIdentity -> Stored (Signed IdentityData) Source #

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

idExtData :: UnifiedIdentity -> Stored (Signed ExtendedIdentityData) Source #

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

idName :: forall (m :: Type -> Type). Identity m -> Maybe Text Source #

idOwner :: forall (m :: Type -> Type). Identity m -> Maybe ComposedIdentity Source #

idUpdates :: forall (m :: Type -> Type). Identity m -> [Stored (Signed ExtendedIdentityData)] Source #

idKeyIdentity :: forall (m :: Type -> Type). Identity m -> Stored PublicKey Source #

idKeyMessage :: forall (m :: Type -> Type). Identity m -> Stored PublicKey Source #

eiddBase :: ExtendedIdentityData -> IdentityData Source #

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

eiddName :: ExtendedIdentityData -> Maybe Text Source #

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

eiddKeyIdentity :: ExtendedIdentityData -> Stored PublicKey Source #

eiddKeyMessage :: ExtendedIdentityData -> Maybe (Stored PublicKey) Source #

emptyIdentityData :: Stored PublicKey -> IdentityData Source #

emptyIdentityExtension :: Stored (Signed IdentityData) -> IdentityExtension Source #

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

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

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

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

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

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

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

loadIdentity :: String -> LoadRec ComposedIdentity Source #

loadMbIdentity :: String -> LoadRec (Maybe ComposedIdentity) Source #

loadUnifiedIdentity :: String -> LoadRec UnifiedIdentity Source #

loadMbUnifiedIdentity :: String -> LoadRec (Maybe UnifiedIdentity) Source #

mergeIdentity :: forall m (f :: Type -> Type). (MonadStorage m, MonadError String m, MonadIO m) => Identity f -> m UnifiedIdentity Source #

toUnifiedIdentity :: forall (m :: Type -> Type). Identity m -> Maybe UnifiedIdentity Source #

toComposedIdentity :: forall (m :: Type -> Type). Identity m -> ComposedIdentity Source #

updateIdentity :: forall (m :: Type -> Type). [Stored (Signed ExtendedIdentityData)] -> Identity m -> ComposedIdentity Source #

updateOwners :: forall (m :: Type -> Type). [Stored (Signed ExtendedIdentityData)] -> Identity m -> Identity m Source #

sameIdentity :: forall (m :: Type -> Type) (m' :: Type -> Type). (Foldable m, Foldable m') => Identity m -> Identity m' -> Bool Source #

unfoldOwners :: forall (m :: Type -> Type). Foldable m => Identity m -> [ComposedIdentity] Source #

finalOwner :: forall (m :: Type -> Type). (Foldable m, Applicative m) => Identity m -> ComposedIdentity Source #

displayIdentity :: forall (m :: Type -> Type). (Foldable m, Applicative m) => Identity m -> Text Source #