{"version":3,"file":"index-Ck5JBJ3O.js","sources":["../../../../../src/routes/(root)/n/[id]/index.tsx?pick=default&pick=$css"],"sourcesContent":["import {\n  type RouteDefinition,\n  type RouteSectionProps,\n  A,\n  createAsync,\n  cache,\n} from \"@solidjs/router\";\nimport { Title } from \"@solidjs/meta\";\nimport { For, Show } from \"solid-js\";\nimport Spinner from \"~/components/Spinner\";\nimport SuspenseWrap from \"~/components/SuspenseWrap\";\nimport { useAppState } from \"~/AppContext\";\nimport { queryKnowImpliesCache } from \"~/services\";\nimport { impliesIndex } from \"~/utils\";\n\nconst limit = 20;\nconst getImplies = cache(async (knowId: string, page: number, q?: string) => {\n  return impliesIndex.search(q, {\n    sort: [\"createdAt:desc\"],\n    filter: `knowId = \"${knowId}\"`,\n    hitsPerPage: limit,\n    page,\n  });\n}, \"n/[id]#implies\");\n\nexport const route = {\n  load({ params, location }) {\n    queryKnowImpliesCache(params.id);\n    getImplies(params.id, +location.query.page || 1, location.query.q);\n  },\n} satisfies RouteDefinition;\n\nexport default function KnowIndex(props: RouteSectionProps) {\n  const { t } = useAppState();\n  const id = () => props.params.id;\n  const query = () => props.location.query.q;\n  const page = () => +props.location.query.page || 1;\n  const know = createAsync(() => queryKnowImpliesCache(id()), {\n    deferStream: true,\n  });\n  const data = createAsync(() => getImplies(id(), page(), query()), {\n    deferStream: true,\n  });\n\n  return (\n    <SuspenseWrap class=\"max-w-screen-xl mx-auto px-4 w-full\">\n      <Show\n        when={know()}\n        fallback={\n          <div>\n            <Spinner />\n          </div>\n        }\n      >\n        <Title>{know()?.essence}</Title>\n        <div class=\"flex flex-row\">\n          <div class=\"dark:prose-invert prose grow\">\n            <h3>\n              <span class=\"dark:text-gray-500 text-gray-400 mr-2\">\n                {t(\"proposition\")}:\n              </span>\n              {know()?.essence}\n            </h3>\n\n            <h5>{know()?.body}</h5>\n          </div>\n          <div>\n            <A class=\"mx-1 p-1 border block\" href={`/n/${id()}/formula`}>\n              {t(\"add_proof\")}\n            </A>\n          </div>\n        </div>\n        <hr class=\"mt-4\" />\n      </Show>\n      <Show when={Array.isArray(data()?.hits)}>\n        <For each={data()?.hits}>\n          {(imply) => (\n            <div class=\"flex flex-row mt-4\">\n              <div class=\"grow dark:prose-invert prose dark:bg-gray-800 bg-gray-100\">\n                <ul class=\"not-prose dark:bg-gray-700 bg-gray-200 list-disc marker:text-green-500\">\n                  <Show when={imply.propositions}>\n                    <For each={imply.propositions}>\n                      {(propos) => (\n                        <li>\n                          <div>{propos.essence}</div>\n                        </li>\n                      )}\n                    </For>\n                    {(!imply.propositions ||\n                      imply.propositions.length === 0) && (\n                      <h4 class=\"h-8 dark:text-gray-500 text-gray-400\">\n                        {t(\"priori_proposition\")}\n                      </h4>\n                    )}\n                  </Show>\n                </ul>\n                <article class=\"px-2\">\n                  <div innerHTML={imply.inference} />\n                </article>\n              </div>\n              <div>\n                <A class=\"mx-1 p-1 border block\" href={`/i/${imply.id}`}>\n                  {t(\"show_more\")}\n                </A>\n              </div>\n            </div>\n          )}\n        </For>\n      </Show>\n    </SuspenseWrap>\n  );\n}\n"],"names":["limit","getImplies","cache","knowId","page","q","impliesIndex","search","sort","filter","hitsPerPage","KnowIndex","props","t","useAppState","id","params","query","location","know","createAsync","queryKnowImpliesCache","deferStream","data","_$createComponent","SuspenseWrap","children","Show","when","fallback","_el$13","_$getNextElement","_tmpl$3","_$insert","Spinner","Title","essence","_el$","_tmpl$","_el$2","firstChild","_el$3","_el$4","_el$6","_el$7","_co$","_$getNextMarker","nextSibling","_el$8","_el$9","_co$2","_el$10","_el$11","body","A","href","_tmpl$2","Array","isArray","hits","For","each","_el$14","_tmpl$4","_el$15","_el$16","_el$17","_el$18","_el$19","imply","propositions","_el$20","_tmpl$5","_el$21","propos","_$memo","length","_el$22","_tmpl$6","_$effect","_$setProperty","inference"],"mappings":"u3DAeA,MAAMA,EAAQ,GACRC,EAAaC,EAAM,MAAOC,EAAgBC,EAAcC,IACrDC,EAAaC,OAAOF,EAAG,CAC5BG,KAAM,CAAC,gBAAgB,EACvBC,OAAqBN,aAAAA,CAAS,IAC9BO,YAAaV,EACbI,KAAAA,CAAAA,CACD,EACA,gBAAgB,EASnB,SAAwBO,GAAUC,EAA0B,CACpD,KAAA,CAAEC,EAAAA,GAAMC,EAAY,EACpBC,EAAKA,IAAMH,EAAMI,OAAOD,GACxBE,EAAQA,IAAML,EAAMM,SAASD,MAAMZ,EACnCD,EAAOA,IAAM,CAACQ,EAAMM,SAASD,MAAMb,MAAQ,EAC3Ce,EAAOC,EAAY,IAAMC,EAAsBN,EAAI,CAAA,EAAG,CAC1DO,YAAa,EAAA,CACd,EACKC,EAAOH,EAAY,IAAMnB,EAAWc,EAAAA,EAAMX,EAAK,EAAGa,EAAM,CAAC,EAAG,CAChEK,YAAa,EAAA,CACd,EAED,OAAAE,EACGC,EAAY,CAAA,MAAA,sCAAA,IAAAC,UAAA,CAAAF,MAAAA,CAAAA,EACVG,EAAI,CAAA,IACHC,MAAI,CAAA,OAAET,EAAK,CAAC,EAAA,IACZU,UAAQ,CAAA,OAAA,IAAA,CAAAC,IAAAA,EAAAC,EAAAC,CAAA,EAAAC,OAAAA,EAAAH,EAAAN,EAEHU,EAAO,CAAA,CAAA,CAAA,EAAAJ,CAAAA,IAAA,EAAA,IAAAJ,UAAA,CAAAF,MAAAA,CAAAA,EAIXW,EAAK,CAAA,IAAAT,UAAA,CAAA,OAAEP,EAAQiB,GAAAA,OAAO,CAAA,CAAA,GAAA,IAAA,CAAA,IAAAC,EAAAN,EAAAO,CAAA,EAAAC,EAAAF,EAAAG,WAAAC,EAAAF,EAAAC,WAAAE,EAAAD,EAAAD,WAAAG,EAAAD,EAAAF,WAAA,CAAAI,EAAAC,CAAA,EAAAC,EAAAH,EAAAI,WAAA,EAAAH,EAAAG,gBAAAC,EAAAN,EAAAK,YAAA,CAAAE,EAAAC,CAAA,EAAAJ,EAAAE,EAAAD,WAAA,EAAAI,EAAAV,EAAAM,YAAAK,EAAAb,EAAAQ,YAAAd,OAAAA,EAAAS,EAAA,IAKd7B,EAAE,aAAa,EAAC+B,EAAAC,CAAA,EAAAZ,EAAAQ,EAAA,IAElBtB,EAAAA,GAAQiB,QAAOa,EAAAC,CAAA,EAAAjB,EAAAkB,EAAA,IAGbhC,EAAK,GAAGkC,IAAI,EAAAD,EAAAA,EAAA5B,EAGhB8B,EAAC,CAAA,MAAA,wBAAA,IAA+BC,MAAI,CAAQxC,MAAAA,MAAAA,aAAc,EAAA,IAAAW,UAAA,CAAA,OACxDb,EAAE,WAAW,CAAC,CAAA,CAAA,CAAA,EAAAwB,CAAAA,KAAAN,EAAAyB,CAAA,CAAA,CAAA,CAAA,CAAAhC,EAAAA,EAMtBG,EAAI,CAAA,IAACC,MAAI,CAAA,OAAE6B,MAAMC,QAAQnC,EAAK,GAAGoC,IAAI,CAAC,EAAA,IAAAjC,UAAA,CAAA,OAAAF,EACpCoC,EAAG,CAAA,IAACC,MAAI,CAAA,OAAEtC,EAAQoC,GAAAA,IAAI,EAAAjC,aACd,IAAA,CAAA,IAAAoC,EAAA/B,EAAAgC,CAAA,EAAAC,EAAAF,EAAAtB,WAAAyB,EAAAD,EAAAxB,WAAA0B,EAAAD,EAAAlB,YAAAoB,EAAAD,EAAA1B,WAAA4B,EAAAJ,EAAAjB,YAAAkB,OAAAA,EAAAA,EAAAzC,EAIEG,EAAI,CAAA,IAACC,MAAI,CAAA,OAAEyC,EAAMC,YAAY,EAAA,IAAA5C,UAAA,CAAAF,MAAAA,CAAAA,EAC3BoC,EAAG,CAAA,IAACC,MAAI,CAAA,OAAEQ,EAAMC,YAAY,EAAA5C,aACnB,IAAA,CAAA,IAAA6C,EAAAxC,EAAAyC,CAAA,EAAAC,EAAAF,EAAA/B,WAAAiC,OAAAA,EAAAA,EAEEC,IAAAA,EAAOtC,OAAO,EAAAmC,CAAAA,GAAA,CAEvB,CAAA,EAAAI,EAAA,IAEFA,EAAA,IAAC,CAACN,EAAMC,cACPD,EAAMC,aAAaM,SAAW,CAAC,EAAA,IAAA,IAAA,CAAAC,IAAAA,EAAA9C,EAAA+C,CAAA,EAAA7C,OAAAA,EAAA4C,EAAA,IAE5BhE,EAAE,oBAAoB,CAAC,EAAAgE,CAAA,GAAA,CAE3B,CAAA,CAAA,CAAA,CAAA,CAAA,EAAAT,EAAAA,EAAA5C,EAQJ8B,EAAC,CAAA,MAAA,wBAAA,IAA+BC,MAAI,CAAQc,MAAAA,MAAAA,EAAMtD,IAAI,EAAA,IAAAW,UAAA,CAAA,OACpDb,EAAE,WAAW,CAAC,CAAA,CAAA,CAAA,EAAAkE,MAAAC,EAAAb,EALCE,YAAAA,EAAMY,SAAS,CAAA,EAAAnB,CAAAA,GAAA,CAAA,CAStC,CAAA,CAAA,CAAA,CAAA,CAAA,CAAA,CAAA,CAKX"}