Copyright | (c) CNRS 2017-Present |
---|---|
License | AGPL + CECILL v3 |
Maintainer | team@gargantext.org |
Stability | experimental |
Portability | POSIX |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- data NodePoly id hash_id typename user_id parent_id name date hyperdata = Node {
- _node_id :: !id
- _node_hash_id :: !hash_id
- _node_typename :: !typename
- _node_user_id :: !user_id
- _node_parent_id :: !parent_id
- _node_name :: !name
- _node_date :: !date
- _node_hyperdata :: !hyperdata
- node_user_id :: forall id hash_id typename user_id parent_id name date hyperdata user_id. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) user_id user_id
- node_typename :: forall id hash_id typename user_id parent_id name date hyperdata typename. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) typename typename
- node_parent_id :: forall id hash_id typename user_id parent_id name date hyperdata parent_id. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) parent_id parent_id
- node_name :: forall id hash_id typename user_id parent_id name date hyperdata name. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) name name
- node_id :: forall id hash_id typename user_id parent_id name date hyperdata id. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) id id
- node_hyperdata :: forall id hash_id typename user_id parent_id name date hyperdata hyperdata. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) hyperdata hyperdata
- node_hash_id :: forall id hash_id typename user_id parent_id name date hyperdata hash_id. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) hash_id hash_id
- node_date :: forall id hash_id typename user_id parent_id name date hyperdata date. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) date date
- pNode :: forall p a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1. ProductProfunctor p => NodePoly (p a1_0 a1_1) (p a2_0 a2_1) (p a3_0 a3_1) (p a4_0 a4_1) (p a5_0 a5_1) (p a6_0 a6_1) (p a7_0 a7_1) (p a8_0 a8_1) -> p (NodePoly a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0) (NodePoly a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1)
- nodeTable :: Table NodeWrite NodeRead
- queryNodeTable :: Query NodeRead
- type NodeHWrite a = NodePoly (Maybe (Field SqlInt4)) (Maybe (Field SqlText)) (Field SqlInt4) (Field SqlInt4) (Maybe (Field SqlInt4)) (Field SqlText) (Maybe (Field SqlTimestamptz)) (Field a)
- type NodeHRead a = NodePoly (Field SqlInt4) (Field SqlText) (Field SqlInt4) (Field SqlInt4) (Field SqlInt4) (Field SqlText) (Field SqlTimestamptz) (Field a)
- type NodeWrite = NodeHWrite SqlJsonb
- type NodeRead = NodeHRead SqlJsonb
- type NodeSearchWrite = NodePolySearch (Maybe (Field SqlInt4)) (Field SqlInt4) (Field SqlInt4) (FieldNullable SqlInt4) (Field SqlText) (Maybe (Field SqlTimestamptz)) (Field SqlJsonb) (Maybe (Field SqlTSVector))
- type NodeSearchRead = NodePolySearch (Field SqlInt4) (Field SqlInt4) (Field SqlInt4) (FieldNullable SqlInt4) (Field SqlText) (Field SqlTimestamptz) (Field SqlJsonb) (Field SqlTSVector)
- data NodePolySearch id typename user_id parent_id name date hyperdata search = NodeSearch {
- _ns_id :: id
- _ns_typename :: typename
- _ns_user_id :: user_id
- _ns_parent_id :: parent_id
- _ns_name :: name
- _ns_date :: date
- _ns_hyperdata :: hyperdata
- _ns_search :: search
- pNodeSearch :: forall p a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1. ProductProfunctor p => NodePolySearch (p a1_0 a1_1) (p a2_0 a2_1) (p a3_0 a3_1) (p a4_0 a4_1) (p a5_0 a5_1) (p a6_0 a6_1) (p a7_0 a7_1) (p a8_0 a8_1) -> p (NodePolySearch a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0) (NodePolySearch a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1)
- ns_user_id :: forall id typename user_id parent_id name date hyperdata search user_id. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) user_id user_id
- ns_typename :: forall id typename user_id parent_id name date hyperdata search typename. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) typename typename
- ns_search :: forall id typename user_id parent_id name date hyperdata search search. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) search search
- ns_parent_id :: forall id typename user_id parent_id name date hyperdata search parent_id. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) parent_id parent_id
- ns_name :: forall id typename user_id parent_id name date hyperdata search name. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) name name
- ns_id :: forall id typename user_id parent_id name date hyperdata search id. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) id id
- ns_hyperdata :: forall id typename user_id parent_id name date hyperdata search hyperdata. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) hyperdata hyperdata
- ns_date :: forall id typename user_id parent_id name date hyperdata search date. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) date date
- nodeTableSearch :: Table NodeSearchWrite NodeSearchRead
Documentation
data NodePoly id hash_id typename user_id parent_id name date hyperdata #
Node | |
|
Instances
HasSwagger (WithCustomErrorScheme GargAPI) # | |
Defined in Gargantext.API.Routes | |
(ProductProfunctor p, Default p a1_0 a1_1, Default p a2_0 a2_1, Default p a3_0 a3_1, Default p a4_0 a4_1, Default p a5_0 a5_1, Default p a6_0 a6_1, Default p a7_0 a7_1, Default p a8_0 a8_1) => Default p (NodePoly a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0) (NodePoly a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1) # | |
Defined in Gargantext.Database.Schema.Node | |
HasText a => HasText (Node a) # | |
Defined in Gargantext.Database.Action.Flow.Extract | |
(ExtractNgramsT a, HasText a) => ExtractNgramsT (Node a) # | |
Defined in Gargantext.Database.Action.Flow.Extract extractNgramsT :: HasText (Node a) => NLPServerConfig -> TermType Lang -> Node a -> DBCmd err (HashMap ExtractedNgrams (Map NgramsType Int, TermsCount)) # | |
(Arbitrary nodeId, Arbitrary hashId, Arbitrary toDBid, Arbitrary userId, Arbitrary nodeParentId, Arbitrary hyperdata) => Arbitrary (NodePoly nodeId hashId toDBid userId nodeParentId NodeName UTCTime hyperdata) # | |
Defined in Gargantext.Database.Admin.Types.Node | |
(FromJSON id, FromJSON hash_id, FromJSON typename, FromJSON user_id, FromJSON parent_id, FromJSON name, FromJSON date, FromJSON hyperdata) => FromJSON (NodePoly id hash_id typename user_id parent_id name date hyperdata) # | |
(ToJSON id, ToJSON hash_id, ToJSON typename, ToJSON user_id, ToJSON parent_id, ToJSON name, ToJSON date, ToJSON hyperdata) => ToJSON (NodePoly id hash_id typename user_id parent_id name date hyperdata) # | |
Defined in Gargantext.Database.Schema.Node toJSON :: NodePoly id hash_id typename user_id parent_id name date hyperdata -> Value # toEncoding :: NodePoly id hash_id typename user_id parent_id name date hyperdata -> Encoding # toJSONList :: [NodePoly id hash_id typename user_id parent_id name date hyperdata] -> Value # toEncodingList :: [NodePoly id hash_id typename user_id parent_id name date hyperdata] -> Encoding # | |
Generic (NodePoly id hash_id typename user_id parent_id name date hyperdata) # | |
Defined in Gargantext.Database.Schema.Node from :: NodePoly id hash_id typename user_id parent_id name date hyperdata -> Rep (NodePoly id hash_id typename user_id parent_id name date hyperdata) x # to :: Rep (NodePoly id hash_id typename user_id parent_id name date hyperdata) x -> NodePoly id hash_id typename user_id parent_id name date hyperdata # | |
(Show id, Show hash_id, Show typename, Show user_id, Show parent_id, Show name, Show date, Show hyperdata) => Show (NodePoly id hash_id typename user_id parent_id name date hyperdata) # | |
Defined in Gargantext.Database.Schema.Node | |
(Typeable hyperdata, ToSchema hyperdata) => ToSchema (NodePoly NodeId Hash NodeTypeId UserId (Maybe ParentId) NodeName UTCTime hyperdata) # | |
Defined in Gargantext.Database.Admin.Types.Node declareNamedSchema :: Proxy (NodePoly NodeId Hash NodeTypeId UserId (Maybe ParentId) NodeName UTCTime hyperdata) -> Declare (Definitions Schema) NamedSchema # | |
(Typeable hyperdata, ToSchema hyperdata) => ToSchema (NodePoly NodeId Hash NodeTypeId (Maybe UserId) ParentId NodeName UTCTime hyperdata) # | NodeSearch (queries) type NodeSearch json = NodePolySearch NodeId NodeTypeId UserId (Maybe ParentId) NodeName UTCTime json (Maybe TSVector) |
Defined in Gargantext.Database.Admin.Types.Node declareNamedSchema :: Proxy (NodePoly NodeId Hash NodeTypeId (Maybe UserId) ParentId NodeName UTCTime hyperdata) -> Declare (Definitions Schema) NamedSchema # | |
(Typeable hyperdata, ToSchema hyperdata) => ToSchema (NodePoly NodeId (Maybe Hash) NodeTypeId UserId (Maybe ParentId) NodeName UTCTime hyperdata) # | |
Defined in Gargantext.Database.Admin.Types.Node declareNamedSchema :: Proxy (NodePoly NodeId (Maybe Hash) NodeTypeId UserId (Maybe ParentId) NodeName UTCTime hyperdata) -> Declare (Definitions Schema) NamedSchema # | |
type Rep (NodePoly id hash_id typename user_id parent_id name date hyperdata) # | |
Defined in Gargantext.Database.Schema.Node type Rep (NodePoly id hash_id typename user_id parent_id name date hyperdata) = D1 ('MetaData "NodePoly" "Gargantext.Database.Schema.Node" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "Node" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_node_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 id) :*: S1 ('MetaSel ('Just "_node_hash_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 hash_id)) :*: (S1 ('MetaSel ('Just "_node_typename") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 typename) :*: S1 ('MetaSel ('Just "_node_user_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 user_id))) :*: ((S1 ('MetaSel ('Just "_node_parent_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 parent_id) :*: S1 ('MetaSel ('Just "_node_name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 name)) :*: (S1 ('MetaSel ('Just "_node_date") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 date) :*: S1 ('MetaSel ('Just "_node_hyperdata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 hyperdata))))) |
node_user_id :: forall id hash_id typename user_id parent_id name date hyperdata user_id. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) user_id user_id #
node_typename :: forall id hash_id typename user_id parent_id name date hyperdata typename. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) typename typename #
node_parent_id :: forall id hash_id typename user_id parent_id name date hyperdata parent_id. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) parent_id parent_id #
node_name :: forall id hash_id typename user_id parent_id name date hyperdata name. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) name name #
node_id :: forall id hash_id typename user_id parent_id name date hyperdata id. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) id id #
node_hyperdata :: forall id hash_id typename user_id parent_id name date hyperdata hyperdata. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) hyperdata hyperdata #
node_hash_id :: forall id hash_id typename user_id parent_id name date hyperdata hash_id. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) hash_id hash_id #
node_date :: forall id hash_id typename user_id parent_id name date hyperdata date. Lens (NodePoly id hash_id typename user_id parent_id name date hyperdata) (NodePoly id hash_id typename user_id parent_id name date hyperdata) date date #
pNode :: forall p a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1. ProductProfunctor p => NodePoly (p a1_0 a1_1) (p a2_0 a2_1) (p a3_0 a3_1) (p a4_0 a4_1) (p a5_0 a5_1) (p a6_0 a6_1) (p a7_0 a7_1) (p a8_0 a8_1) -> p (NodePoly a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0) (NodePoly a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1) #
type NodeHWrite a = NodePoly (Maybe (Field SqlInt4)) (Maybe (Field SqlText)) (Field SqlInt4) (Field SqlInt4) (Maybe (Field SqlInt4)) (Field SqlText) (Maybe (Field SqlTimestamptz)) (Field a) #
type NodeHRead a = NodePoly (Field SqlInt4) (Field SqlText) (Field SqlInt4) (Field SqlInt4) (Field SqlInt4) (Field SqlText) (Field SqlTimestamptz) (Field a) #
type NodeWrite = NodeHWrite SqlJsonb #
type NodeSearchWrite = NodePolySearch (Maybe (Field SqlInt4)) (Field SqlInt4) (Field SqlInt4) (FieldNullable SqlInt4) (Field SqlText) (Maybe (Field SqlTimestamptz)) (Field SqlJsonb) (Maybe (Field SqlTSVector)) #
Node(Read|Write)Search is slower than Node(Write|Read) use it for full text search only
type NodeSearchRead = NodePolySearch (Field SqlInt4) (Field SqlInt4) (Field SqlInt4) (FieldNullable SqlInt4) (Field SqlText) (Field SqlTimestamptz) (Field SqlJsonb) (Field SqlTSVector) #
data NodePolySearch id typename user_id parent_id name date hyperdata search #
NodeSearch | |
|
Instances
(ProductProfunctor p, Default p a1_0 a1_1, Default p a2_0 a2_1, Default p a3_0 a3_1, Default p a4_0 a4_1, Default p a5_0 a5_1, Default p a6_0 a6_1, Default p a7_0 a7_1, Default p a8_0 a8_1) => Default p (NodePolySearch a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0) (NodePolySearch a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1) # | |
Defined in Gargantext.Database.Schema.Node def :: p (NodePolySearch a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0) (NodePolySearch a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1) # | |
(Arbitrary hyperdata, Arbitrary nodeId, Arbitrary toDBid, Arbitrary userId, Arbitrary nodeParentId) => Arbitrary (NodePolySearch nodeId toDBid userId nodeParentId NodeName UTCTime hyperdata (Maybe TSVector)) # | |
Defined in Gargantext.Database.Admin.Types.Node arbitrary :: Gen (NodePolySearch nodeId toDBid userId nodeParentId NodeName UTCTime hyperdata (Maybe TSVector)) # shrink :: NodePolySearch nodeId toDBid userId nodeParentId NodeName UTCTime hyperdata (Maybe TSVector) -> [NodePolySearch nodeId toDBid userId nodeParentId NodeName UTCTime hyperdata (Maybe TSVector)] # | |
(FromJSON id, FromJSON typename, FromJSON user_id, FromJSON parent_id, FromJSON name, FromJSON date, FromJSON hyperdata, FromJSON search) => FromJSON (NodePolySearch id typename user_id parent_id name date hyperdata search) # | |
Defined in Gargantext.Database.Schema.Node parseJSON :: Value -> Parser (NodePolySearch id typename user_id parent_id name date hyperdata search) # parseJSONList :: Value -> Parser [NodePolySearch id typename user_id parent_id name date hyperdata search] # | |
(ToJSON id, ToJSON typename, ToJSON user_id, ToJSON parent_id, ToJSON name, ToJSON date, ToJSON hyperdata, ToJSON search) => ToJSON (NodePolySearch id typename user_id parent_id name date hyperdata search) # | |
Defined in Gargantext.Database.Schema.Node toJSON :: NodePolySearch id typename user_id parent_id name date hyperdata search -> Value # toEncoding :: NodePolySearch id typename user_id parent_id name date hyperdata search -> Encoding # toJSONList :: [NodePolySearch id typename user_id parent_id name date hyperdata search] -> Value # toEncodingList :: [NodePolySearch id typename user_id parent_id name date hyperdata search] -> Encoding # | |
Generic (NodePolySearch id typename user_id parent_id name date hyperdata search) # | |
Defined in Gargantext.Database.Schema.Node type Rep (NodePolySearch id typename user_id parent_id name date hyperdata search) :: Type -> Type # from :: NodePolySearch id typename user_id parent_id name date hyperdata search -> Rep (NodePolySearch id typename user_id parent_id name date hyperdata search) x # to :: Rep (NodePolySearch id typename user_id parent_id name date hyperdata search) x -> NodePolySearch id typename user_id parent_id name date hyperdata search # | |
(Show id, Show typename, Show user_id, Show parent_id, Show name, Show date, Show hyperdata, Show search) => Show (NodePolySearch id typename user_id parent_id name date hyperdata search) # | |
Defined in Gargantext.Database.Schema.Node showsPrec :: Int -> NodePolySearch id typename user_id parent_id name date hyperdata search -> ShowS # show :: NodePolySearch id typename user_id parent_id name date hyperdata search -> String # showList :: [NodePolySearch id typename user_id parent_id name date hyperdata search] -> ShowS # | |
(Typeable hyperdata, ToSchema hyperdata) => ToSchema (NodePolySearch NodeId NodeTypeId UserId (Maybe ParentId) NodeName UTCTime hyperdata (Maybe TSVector)) # | |
Defined in Gargantext.Database.Admin.Types.Node declareNamedSchema :: Proxy (NodePolySearch NodeId NodeTypeId UserId (Maybe ParentId) NodeName UTCTime hyperdata (Maybe TSVector)) -> Declare (Definitions Schema) NamedSchema # | |
(Typeable hyperdata, ToSchema hyperdata) => ToSchema (NodePolySearch NodeId NodeTypeId (Maybe UserId) ParentId NodeName UTCTime hyperdata (Maybe TSVector)) # | |
Defined in Gargantext.Database.Admin.Types.Node declareNamedSchema :: Proxy (NodePolySearch NodeId NodeTypeId (Maybe UserId) ParentId NodeName UTCTime hyperdata (Maybe TSVector)) -> Declare (Definitions Schema) NamedSchema # | |
type Rep (NodePolySearch id typename user_id parent_id name date hyperdata search) # | |
Defined in Gargantext.Database.Schema.Node type Rep (NodePolySearch id typename user_id parent_id name date hyperdata search) = D1 ('MetaData "NodePolySearch" "Gargantext.Database.Schema.Node" "gargantext-0.0.7.1.5.3-inplace" 'False) (C1 ('MetaCons "NodeSearch" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_ns_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 id) :*: S1 ('MetaSel ('Just "_ns_typename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 typename)) :*: (S1 ('MetaSel ('Just "_ns_user_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 user_id) :*: S1 ('MetaSel ('Just "_ns_parent_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 parent_id))) :*: ((S1 ('MetaSel ('Just "_ns_name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 name) :*: S1 ('MetaSel ('Just "_ns_date") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 date)) :*: (S1 ('MetaSel ('Just "_ns_hyperdata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 hyperdata) :*: S1 ('MetaSel ('Just "_ns_search") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 search))))) |
pNodeSearch :: forall p a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0 a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1. ProductProfunctor p => NodePolySearch (p a1_0 a1_1) (p a2_0 a2_1) (p a3_0 a3_1) (p a4_0 a4_1) (p a5_0 a5_1) (p a6_0 a6_1) (p a7_0 a7_1) (p a8_0 a8_1) -> p (NodePolySearch a1_0 a2_0 a3_0 a4_0 a5_0 a6_0 a7_0 a8_0) (NodePolySearch a1_1 a2_1 a3_1 a4_1 a5_1 a6_1 a7_1 a8_1) #
ns_user_id :: forall id typename user_id parent_id name date hyperdata search user_id. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) user_id user_id #
ns_typename :: forall id typename user_id parent_id name date hyperdata search typename. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) typename typename #
ns_search :: forall id typename user_id parent_id name date hyperdata search search. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) search search #
ns_parent_id :: forall id typename user_id parent_id name date hyperdata search parent_id. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) parent_id parent_id #
ns_name :: forall id typename user_id parent_id name date hyperdata search name. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) name name #
ns_id :: forall id typename user_id parent_id name date hyperdata search id. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) id id #
ns_hyperdata :: forall id typename user_id parent_id name date hyperdata search hyperdata. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) hyperdata hyperdata #
ns_date :: forall id typename user_id parent_id name date hyperdata search date. Lens (NodePolySearch id typename user_id parent_id name date hyperdata search) (NodePolySearch id typename user_id parent_id name date hyperdata search) date date #