Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Show (m (Stored (Signed ExtendedIdentityData))) => Show (Identity m) Source # | |
SharedType (Maybe ComposedIdentity) Source # | |
Mergeable (Maybe ComposedIdentity) Source # | |
Defined in Erebos.Identity type Component (Maybe ComposedIdentity) Source # 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 # | |
type Component (Maybe ComposedIdentity) Source # | |
Defined in Erebos.Identity |
type ComposedIdentity = Identity List Source #
type UnifiedIdentity = Identity Identity Source #
data IdentityData Source #
IdentityData | |
|
Instances
Show IdentityData Source # | |
Defined in Erebos.Identity showsPrec :: Int -> IdentityData -> ShowS # show :: IdentityData -> String # showList :: [IdentityData] -> ShowS # | |
Storable IdentityData Source # | |
Defined in Erebos.Identity 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 #
Instances
Show ExtendedIdentityData Source # | |
Defined in Erebos.Identity showsPrec :: Int -> ExtendedIdentityData -> ShowS # show :: ExtendedIdentityData -> String # showList :: [ExtendedIdentityData] -> ShowS # | |
Storable ExtendedIdentityData Source # | |
Defined in Erebos.Identity 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 #
Instances
Show IdentityExtension Source # | |
Defined in Erebos.Identity showsPrec :: Int -> IdentityExtension -> ShowS # show :: IdentityExtension -> String # showList :: [IdentityExtension] -> ShowS # | |
Storable IdentityExtension Source # | |
Defined in Erebos.Identity 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 #
idExtDataF :: Identity m -> m (Stored (Signed ExtendedIdentityData)) Source #
createIdentity :: Storage -> Maybe Text -> Maybe UnifiedIdentity -> IO 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 #
validateExtendedIdentityF :: IdentityKind m => m (Stored (Signed ExtendedIdentityData)) -> Maybe (Identity m) Source #
validateExtendedIdentityFE :: IdentityKind m => m (Stored (Signed ExtendedIdentityData)) -> Except String (Identity m) Source #
mergeIdentity :: (MonadStorage m, MonadError String m, MonadIO m) => Identity f -> m UnifiedIdentity Source #
toUnifiedIdentity :: Identity m -> Maybe UnifiedIdentity Source #
updateIdentity :: [Stored (Signed ExtendedIdentityData)] -> Identity m -> ComposedIdentity Source #
updateOwners :: [Stored (Signed ExtendedIdentityData)] -> Identity m -> Identity m Source #
unfoldOwners :: Foldable m => Identity m -> [ComposedIdentity] Source #
finalOwner :: (Foldable m, Applicative m) => Identity m -> ComposedIdentity Source #
displayIdentity :: (Foldable m, Applicative m) => Identity m -> Text Source #