Safe Haskell | None |
---|---|
Language | Haskell2010 |
Gargantext.API.Ngrams.Types
Contents
Description
Synopsis
- type QueryParamR = QueryParam' '[Required, Strict]
- data TabType
- newtype MSet a = MSet (Map a ())
- mSetFromSet :: Set a -> MSet a
- mSetFromList :: Ord a => [a] -> MSet a
- mSetToSet :: Ord a => MSet a -> Set a
- mSetToList :: MSet a -> [a]
- newtype NgramsTerm = NgramsTerm {
- unNgramsTerm :: Text
- data RootParent = RootParent {}
- rp_root :: Lens' RootParent NgramsTerm
- rp_parent :: Lens' RootParent NgramsTerm
- data NgramsRepoElement = NgramsRepoElement {
- _nre_size :: !Int
- _nre_list :: !ListType
- _nre_root :: !(Maybe NgramsTerm)
- _nre_parent :: !(Maybe NgramsTerm)
- _nre_children :: !(MSet NgramsTerm)
- nre_size :: Lens' NgramsRepoElement Int
- nre_root :: Lens' NgramsRepoElement (Maybe NgramsTerm)
- nre_parent :: Lens' NgramsRepoElement (Maybe NgramsTerm)
- nre_list :: Lens' NgramsRepoElement ListType
- nre_children :: Lens' NgramsRepoElement (MSet NgramsTerm)
- data NgramsElement = NgramsElement {}
- ne_size :: Lens' NgramsElement Int
- ne_root :: Lens' NgramsElement (Maybe NgramsTerm)
- ne_parent :: Lens' NgramsElement (Maybe NgramsTerm)
- ne_occurrences :: Lens' NgramsElement Int
- ne_ngrams :: Lens' NgramsElement NgramsTerm
- ne_list :: Lens' NgramsElement ListType
- ne_children :: Lens' NgramsElement (MSet NgramsTerm)
- mkNgramsElement :: NgramsTerm -> ListType -> Maybe RootParent -> MSet NgramsTerm -> NgramsElement
- newNgramsElement :: Maybe ListType -> NgramsTerm -> NgramsElement
- newtype NgramsTable = NgramsTable [NgramsElement]
- _NgramsTable :: Iso' NgramsTable [NgramsElement]
- mockTable :: NgramsTable
- type NgramsTableMap = Map NgramsTerm NgramsRepoElement
- data PatchSet a = PatchSet {}
- rem :: forall a. Lens' (PatchSet a) (Set a)
- add :: forall a. Lens' (PatchSet a) (Set a)
- _PatchSet :: forall a a. Iso (PatchSet a) (PatchSet a) (Set a, Set a) (Set a, Set a)
- type AddRem = Replace (Maybe ())
- remPatch :: AddRem
- addPatch :: AddRem
- isRem :: Replace (Maybe ()) -> Bool
- type PatchMap = PatchMap
- newtype PatchMSet a = PatchMSet (PatchMap a AddRem)
- unPatchMSet :: PatchMSet a -> PatchMap a AddRem
- type ConflictResolutionPatchMSet a = a -> ConflictResolutionReplace (Maybe ())
- _PatchMap :: forall k pv k pv. Iso (PatchMap k pv) (PatchMap k pv) (Map k pv) (Map k pv)
- _PatchMSet :: forall a a. Iso (PatchMSet a) (PatchMSet a) (PatchMap a AddRem) (PatchMap a AddRem)
- _PatchMSetIso :: Ord a => Iso' (PatchMSet a) (PatchSet a)
- data NgramsPatch
- = NgramsPatch {
- _patch_children :: !(PatchMSet NgramsTerm)
- _patch_list :: !(Replace ListType)
- | NgramsReplace {
- _patch_old :: !(Maybe NgramsRepoElement)
- _patch_new :: !(Maybe NgramsRepoElement)
- = NgramsPatch {
- patch_old :: Traversal' NgramsPatch (Maybe NgramsRepoElement)
- patch_new :: Traversal' NgramsPatch (Maybe NgramsRepoElement)
- patch_list :: Traversal' NgramsPatch (Replace ListType)
- patch_children :: Traversal' NgramsPatch (PatchMSet NgramsTerm)
- type NgramsPatchIso = MaybePatch NgramsRepoElement (PairPatch (PatchMSet NgramsTerm) (Replace ListType))
- _NgramsPatch :: Iso' NgramsPatch NgramsPatchIso
- type ConflictResolutionNgramsPatch = (ConflictResolutionReplace (Maybe NgramsRepoElement), (ConflictResolutionPatchMSet NgramsTerm, ConflictResolutionReplace ListType), (Bool, Bool))
- type PatchedNgramsPatch = Maybe NgramsRepoElement
- newtype NgramsTablePatch = NgramsTablePatch (PatchMap NgramsTerm NgramsPatch)
- type PatchedNgramsTablePatch = Map NgramsTerm PatchedNgramsPatch
- _NgramsTablePatch :: Iso' NgramsTablePatch (PatchMap NgramsTerm NgramsPatch)
- ngramsElementToRepo :: NgramsElement -> NgramsRepoElement
- ngramsElementFromRepo :: NgramsTerm -> NgramsRepoElement -> NgramsElement
- reRootChildren :: NgramsTerm -> ReParent NgramsTerm
- reParent :: Maybe RootParent -> ReParent NgramsTerm
- reParentAddRem :: RootParent -> NgramsTerm -> ReParent AddRem
- reParentNgramsPatch :: NgramsTerm -> ReParent NgramsPatch
- reParentNgramsTablePatch :: ReParent NgramsTablePatch
- type ReParent a = forall m. MonadState NgramsTableMap m => a -> m ()
- type Version = Int
- data Versioned a = Versioned {
- _v_version :: Version
- _v_data :: a
- v_version :: forall a. Lens' (Versioned a) Version
- v_data :: forall a a. Lens (Versioned a) (Versioned a) a a
- type Count = Int
- data VersionedWithCount a = VersionedWithCount {
- _vc_version :: Version
- _vc_count :: Count
- _vc_data :: a
- vc_version :: forall a. Lens' (VersionedWithCount a) Version
- vc_data :: forall a a. Lens (VersionedWithCount a) (VersionedWithCount a) a a
- vc_count :: forall a. Lens' (VersionedWithCount a) Count
- toVersionedWithCount :: Count -> Versioned a -> VersionedWithCount a
- data Repo s p = Repo {
- _r_version :: !Version
- _r_state :: !s
- _r_history :: ![p]
- r_version :: forall s p. Lens' (Repo s p) Version
- r_state :: forall s p s. Lens (Repo s p) (Repo s p) s s
- r_history :: forall s p p. Lens (Repo s p) (Repo s p) [p] [p]
- initRepo :: Monoid s => Repo s p
- type RepoCmdM env err m = (CmdM' env err m, HasConnectionPool env, HasConfig env)
- ngramsTypeFromTabType :: TabType -> NgramsType
- data UpdateTableNgramsCharts = UpdateTableNgramsCharts {
- _utn_tab_type :: !TabType
- _utn_list_id :: !ListId
- utn_tab_type :: Lens' UpdateTableNgramsCharts TabType
- utn_list_id :: Lens' UpdateTableNgramsCharts ListId
- type NgramsList = Map NgramsType (Versioned NgramsTableMap)
Documentation
type QueryParamR = QueryParam' '[Required, Strict] Source #
Instances
Instances
mSetFromSet :: Set a -> MSet a Source #
mSetFromList :: Ord a => [a] -> MSet a Source #
mSetToList :: MSet a -> [a] Source #
newtype NgramsTerm Source #
Constructors
NgramsTerm | |
Fields
|
Instances
data RootParent Source #
Constructors
RootParent | |
Fields |
Instances
data NgramsRepoElement Source #
Constructors
NgramsRepoElement | |
Fields
|
Instances
data NgramsElement Source #
Constructors
NgramsElement | |
Fields
|
Instances
mkNgramsElement :: NgramsTerm -> ListType -> Maybe RootParent -> MSet NgramsTerm -> NgramsElement Source #
newNgramsElement :: Maybe ListType -> NgramsTerm -> NgramsElement Source #
newtype NgramsTable Source #
Constructors
NgramsTable [NgramsElement] |
Instances
mockTable :: NgramsTable Source #
TODO Check N and Weight
Instances
Eq a => Eq (PatchSet a) Source # | |
Ord a => Ord (PatchSet a) Source # | |
Defined in Gargantext.API.Ngrams.Types | |
Show a => Show (PatchSet a) Source # | |
Generic (PatchSet a) Source # | |
ToJSON a => ToJSON (PatchSet a) Source # | |
Defined in Gargantext.API.Ngrams.Types | |
(Ord a, FromJSON a) => FromJSON (PatchSet a) Source # | |
type Rep (PatchSet a) Source # | |
Defined in Gargantext.API.Ngrams.Types type Rep (PatchSet a) = D1 ('MetaData "PatchSet" "Gargantext.API.Ngrams.Types" "gargantext-0.0.4.9.5-IFz7nHafad4HfDNkPsR1x8" 'False) (C1 ('MetaCons "PatchSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "_rem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set a)) :*: S1 ('MetaSel ('Just "_add") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set a)))) |
Instances
type ConflictResolutionPatchMSet a = a -> ConflictResolutionReplace (Maybe ()) Source #
_PatchMSet :: forall a a. Iso (PatchMSet a) (PatchMSet a) (PatchMap a AddRem) (PatchMap a AddRem) Source #
data NgramsPatch Source #
Constructors
NgramsPatch | |
Fields
| |
NgramsReplace | |
Fields
|
Instances
patch_list :: Traversal' NgramsPatch (Replace ListType) Source #
type NgramsPatchIso = MaybePatch NgramsRepoElement (PairPatch (PatchMSet NgramsTerm) (Replace ListType)) Source #
type ConflictResolutionNgramsPatch = (ConflictResolutionReplace (Maybe NgramsRepoElement), (ConflictResolutionPatchMSet NgramsTerm, ConflictResolutionReplace ListType), (Bool, Bool)) Source #
newtype NgramsTablePatch Source #
Constructors
NgramsTablePatch (PatchMap NgramsTerm NgramsPatch) |
Instances
reParent :: Maybe RootParent -> ReParent NgramsTerm Source #
reParentAddRem :: RootParent -> NgramsTerm -> ReParent AddRem Source #
type ReParent a = forall m. MonadState NgramsTableMap m => a -> m () Source #
Constructors
Versioned | |
Fields
|
Instances
Eq a => Eq (Versioned a) Source # | |
Show a => Show (Versioned a) Source # | |
Generic (Versioned a) Source # | |
Arbitrary a => Arbitrary (Versioned a) Source # | |
ToJSON a => ToJSON (Versioned a) Source # | |
Defined in Gargantext.API.Ngrams.Types | |
FromJSON a => FromJSON (Versioned a) Source # | |
(Typeable a, ToSchema a) => ToSchema (Versioned a) Source # | |
Defined in Gargantext.API.Ngrams.Types Methods declareNamedSchema :: Proxy (Versioned a) -> Declare (Definitions Schema) NamedSchema # | |
type Rep (Versioned a) Source # | |
Defined in Gargantext.API.Ngrams.Types type Rep (Versioned a) = D1 ('MetaData "Versioned" "Gargantext.API.Ngrams.Types" "gargantext-0.0.4.9.5-IFz7nHafad4HfDNkPsR1x8" 'False) (C1 ('MetaCons "Versioned" 'PrefixI 'True) (S1 ('MetaSel ('Just "_v_version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version) :*: S1 ('MetaSel ('Just "_v_data") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) |
data VersionedWithCount a Source #
Constructors
VersionedWithCount | |
Fields
|
Instances
vc_version :: forall a. Lens' (VersionedWithCount a) Version Source #
vc_data :: forall a a. Lens (VersionedWithCount a) (VersionedWithCount a) a a Source #
toVersionedWithCount :: Count -> Versioned a -> VersionedWithCount a Source #
TOREMOVE
Constructors
Repo | |
Fields
|
Instances
(Show s, Show p) => Show (Repo s p) Source # | |
Generic (Repo s p) Source # | |
(ToJSON s, ToJSON p) => ToJSON (Repo s p) Source # | |
Defined in Gargantext.API.Ngrams.Types | |
(FromJSON s, FromJSON p) => FromJSON (Repo s p) Source # | |
(Serialise s, Serialise p) => Serialise (Repo s p) Source # | |
type Rep (Repo s p) Source # | |
Defined in Gargantext.API.Ngrams.Types type Rep (Repo s p) = D1 ('MetaData "Repo" "Gargantext.API.Ngrams.Types" "gargantext-0.0.4.9.5-IFz7nHafad4HfDNkPsR1x8" 'False) (C1 ('MetaCons "Repo" 'PrefixI 'True) (S1 ('MetaSel ('Just "_r_version") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Version) :*: (S1 ('MetaSel ('Just "_r_state") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 s) :*: S1 ('MetaSel ('Just "_r_history") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [p])))) |
ngramsTypeFromTabType :: TabType -> NgramsType Source #
data UpdateTableNgramsCharts Source #
Constructors
UpdateTableNgramsCharts | |
Fields
|
Instances
type NgramsList = Map NgramsType (Versioned NgramsTableMap) Source #
Orphan instances
Serialise ListType Source # | |
Serialise AddRem Source # | |
(Eq a, Arbitrary a) => Arbitrary (Replace a) Source # | |
Serialise (Replace ListType) Source # | |
ToSchema a => ToSchema (Replace a) Source # | |
Methods declareNamedSchema :: Proxy (Replace a) -> Declare (Definitions Schema) NamedSchema # | |
(Serialise a, Ord a) => Serialise (PatchMap a AddRem) Source # | |