PageSourceSearch

https://idris2-quickdocs.surge.sh/_app/immutable/chunks/index-f2f18683.js

js idris2-quickdocs.surge.sh collected 2026-10-03 14:55:55 UTC 10,486 bytes, 1 lines download raw bytes

1function O(){}function rt(t,e){for(const n in e)t[n]=e[n];return t}function ct(t){return t&&typeof t=="object"&&typeof t.then=="function"}function U(t){return t()}function K(){return Object.create(null)}function v(t){t.forEach(U)}function st(t){return typeof t=="function"}function St(t,e){return t!=t?e==e:t!==e||t&&typeof t=="object"||typeof t=="function"}let C;function At(t,e){return C||(C=document.createElement("a")),C.href=e,t===C.href}function lt(t){return Object.keys(t).length===0}function V(t,...e){if(t==null)return O;const n=t.subscribe(...e);return n.unsubscribe?()=>n.unsubscribe():n}function Mt(t){let e;return V(t,n=>e=n)(),e}function Nt(t,e,n){t.$$.on_destroy.push(V(e,n))}function jt(t,e,n,i){if(t){const r=X(t,e,n,i);return t[0](r)}}function X(t,e,n,i){return t[1]&&i?rt(n.ctx.slice(),t[1](i(e))):n.ctx}function zt(t,e,n,i){if(t[2]&&i){const r=t[2](i(n));if(e.dirty===void 0)return r;if(typeof r=="object"){const l=[],c=Math.max(e.dirty.length,r.length);for(let a=0;a<c;a+=1)l[a]=e.dirty[a]|r[a];return l}return e.dirty|r}return e.dirty}function Lt(t,e,n,i,r,l){if(r){const c=X(e,n,i,l);t.p(c,r)}}function Pt(t){if(t.ctx.length>32){const e=[],n=t.ctx.length/32;for(let i=0;i<n;i++)e[i]=-1;return e}return-1}function Tt(t,e,n){return t.set(n),e}let j=!1;function ut(){j=!0}function at(){j=!1}function ot(t,e,n,i){for(;t<e;){const r=t+(e-t>>1);n(r)<=i?t=r+1:e=r}return t}function ft(t){if(t.hydrate_init)return;t.hydrate_init=!0;let e=t.childNodes;if(t.nodeName==="HEAD"){const s=[];for(let u=0;u<e.length;u++){const d=e[u];d.claim_order!==void 0&&s.push(d)}e=s}const n=new Int32Array(e.length+1),i=new Int32Array(e.length);n[0]=-1;let r=0;for(let s=0;s<e.length;s++){const u=e[s].claim_order,d=(r>0&&e[n[r]].claim_order<=u?r+1:ot(1,r,o=>e[n[o]].claim_order,u))-1;i[s]=n[d]+1;const _=d+1;n[_]=s,r=Math.max(_,r)}const l=[],c=[];let a=e.length-1;for(let s=n[r]+1;s!=0;s=i[s-1]){for(l.push(e[s-1]);a>=s;a--)c.push(e[a]);a--}for(;a>=0;a--)c.push(e[a]);l.reverse(),c.sort((s,u)=>s.claim_order-u.claim_order);for(let s=0,u=0;s<c.length;s++){for(;u<l.length&&c[s].claim_order>=l[u].claim_order;)u++;const d=u<l.length?l[u]:null;t.insertBefore(c[s],d)}}function dt(t,e){t.appendChild(e)}function _t(t,e){if(j){for(ft(t),(t.actual_end_child===void 0||t.actual_end_child!==null&&t.actual_end_child.parentElement!==t)&&(t.actual_end_child=t.firstChild);t.actual_end_child!==null&&t.actual_end_child.claim_order===void 0;)t.actual_end_child=t.actual_end_child.nextSibling;e!==t.actual_end_child?(e.claim_order!==void 0||e.parentNode!==t)&&t.insertBefore(e,t.actual_end_child):t.actual_end_child=e.nextSibling}else(e.parentNode!==t||e.nextSibling!==null)&&t.appendChild(e)}function Wt(t,e,n){j&&!n?_t(t,e):(e.parentNode!==t||e.nextSibling!=n)&&t.insertBefore(e,n||null)}function Y(t){t.parentNode.removeChild(t)}function qt(t,e){for(let n=0;n<t.length;n+=1)t[n]&&t[n].d(e)}function Z(t){return document.createElement(t)}function I(t){return document.createTextNode(t)}function Bt(){return I(" ")}function Dt(){return I("")}function Q(t,e,n,i){return t.addEventListener(e,n,i),()=>t.removeEventListener(e,n,i)}function Ot(t){return function(e){return e.preventDefault(),t.call(this,e)}}function ht(t,e,n){n==null?t.removeAttribute(e):t.getAttribute(e)!==n&&t.setAttribute(e,n)}function It(t,e,n){e in t?t[e]=typeof t[e]=="boolean"&&n===""?!0:n:ht(t,e,n)}function mt(t){return Array.from(t.childNodes)}function pt(t){t.claim_info===void 0&&(t.claim_info={last_index:0,total_claimed:0})}function tt(t,e,n,i,r=!1){pt(t);const l=(()=>{for(let c=t.claim_info.last_index;c<t.length;c++){const a=t[c];if(e(a)){const s=n(a);return s===void 0?t.splice(c,1):t[c]=s,r||(t.claim_info.last_index=c),a}}for(let c=t.claim_info.last_index-1;c>=0;c--){const a=t[c];if(e(a)){const s=n(a);return s===void 0?t.splice(c,1):t[c]=s,r?s===void 0&&t.claim_info.last_index--:t.claim_info.last_index=c,a}}return i()})();return l.claim_order=t.claim_info.total_claimed,t.claim_info.total_claimed+=1,l}function yt(t,e,n,i){return tt(t,r=>r.nodeName===e,r=>{const l=[];for(let c=0;c<r.attributes.length;c++){const a=r.attributes[c];n[a.name]||l.push(a.name)}l.forEach(c=>r.removeAttribute(c))},()=>i(e))}function Ft(t,e,n){return yt(t,e,n,Z)}function bt(t,e){return tt(t,n=>n.nodeType===3,n=>{const i=""+e;if(n.data.startsWith(i)){if(n.data.length!==i.length)return n.splitText(i.length)}else n.data=i},()=>I(e),!0)}function Ht(t){return bt(t," ")}function Gt(t,e){e=""+e,t.wholeText!==e&&(t.data=e)}function Jt(t,e){t.value=e==null?"":e}function Kt(t,e,n,i){n===null?t.style.removeProperty(e):t.style.setProperty(e,n,i?"important":"")}let S;function gt(){if(S===void 0){S=!1;try{typeof window<"u"&&window.parent&&window.parent.document}catch{S=!0}}return S}function Qt(t,e){getComputedStyle(t).position==="static"&&(t.style.position="relative");const i=Z("iframe");i.setAttribute("style","display: block; position: absolute; top: 0; left: 0; width: 100%; height: 100%; overflow: hidden; border: 0; opacity: 0; pointer-events: none; z-index: -1;"),i.setAttribute("aria-hidden","true"),i.tabIndex=-1;const r=gt();let l;return r?(i.src="data:text/html,<script>onresize=function(){parent.postMessage(0,'*')}<\/script>",l=Q(window,"message",c=>{c.source===i.contentWindow&&e()})):(i.src="about:blank",i.onload=()=>{l=Q(i.contentWindow,"resize",e)}),dt(t,i),()=>{(r||l&&i.contentWindow)&&l(),Y(i)}}function Rt(t,e,n){t.classList[n?"add":"remove"](e)}function xt(t,e,{bubbles:n=!1,cancelable:i=!1}={}){const r=document.createEvent("CustomEvent");return r.initCustomEvent(t,n,i,e),r}let $;function b(t){$=t}function x(){if(!$)throw new Error("Function called outside component initialization");return $}function Ut(t){x().$$.on_mount.push(t)}function Vt(t){x().$$.after_update.push(t)}function Xt(){const t=x();return(e,n,{cancelable:i=!1}={})=>{const r=t.$$.callbacks[e];if(r){const l=xt(e,n,{cancelable:i});
1return r.slice().forEach(c=>{c.call(t,l)}),!l.defaultPrevented}return!0}}function Yt(t,e){return x().$$.context.set(t,e),e}function Zt(t){return x().$$.context.get(t)}function te(t,e){const n=t.$$.callbacks[e.type];n&&n.slice().forEach(i=>i.call(this,e))}const w=[],R=[],M=[],q=[],et=Promise.resolve();let B=!1;function nt(){B||(B=!0,et.then(F))}function ee(){return nt(),et}function D(t){M.push(t)}function ne(t){q.push(t)}const W=new Set;let A=0;function F(){const t=$;do{for(;A<w.length;){const e=w[A];A++,b(e),wt(e.$$)}for(b(null),w.length=0,A=0;R.length;)R.pop()();for(let e=0;e<M.length;e+=1){const n=M[e];W.has(n)||(W.add(n),n())}M.length=0}while(w.length);for(;q.length;)q.pop()();B=!1,W.clear(),b(t)}function wt(t){if(t.fragment!==null){t.update(),v(t.before_update);const e=t.dirty;t.dirty=[-1],t.fragment&&t.fragment.p(t.ctx,e),t.after_update.forEach(D)}}const N=new Set;let g;function $t(){g={r:0,c:[],p:g}}function vt(){g.r||v(g.c),g=g.p}function H(t,e){t&&t.i&&(N.delete(t),t.i(e))}function it(t,e,n,i){if(t&&t.o){if(N.has(t))return;N.add(t),g.c.push(()=>{N.delete(t),i&&(n&&t.d(1),i())}),t.o(e)}else i&&i()}function ie(t,e){const n=e.token={};function i(r,l,c,a){if(e.token!==n)return;e.resolved=a;let s=e.ctx;c!==void 0&&(s=s.slice(),s[c]=a);const u=r&&(e.current=r)(s);let d=!1;e.block&&(e.blocks?e.blocks.forEach((_,o)=>{o!==l&&_&&($t(),it(_,1,1,()=>{e.blocks[o]===_&&(e.blocks[o]=null)}),vt())}):e.block.d(1),u.c(),H(u,1),u.m(e.mount(),e.anchor),d=!0),e.block=u,e.blocks&&(e.blocks[l]=u),d&&F()}if(ct(t)){const r=x();if(t.then(l=>{b(r),i(e.then,1,e.value,l),b(null)},l=>{if(b(r),i(e.catch,2,e.error,l),b(null),!e.hasCatch)throw l}),e.current!==e.pending)return i(e.pending,0),!0}else{if(e.current!==e.then)return i(e.then,1,e.value,t),!0;e.resolved=t}}function re(t,e,n){const i=e.slice(),{resolved:r}=t;t.current===t.then&&(i[t.value]=r),t.current===t.catch&&(i[t.error]=r),t.block.p(i,n)}function ce(t,e){it(t,1,1,()=>{e.delete(t.key)})}function se(t,e,n,i,r,l,c,a,s,u,d,_){let o=t.length,m=l.length,h=o;const z={};for(;h--;)z[t[h].key]=h;const k=[],L=new Map,P=new Map;for(h=m;h--;){const f=_(r,l,h),p=n(f);let y=c.get(p);y?i&&y.p(f,e):(y=u(p,f),y.c()),L.set(p,k[h]=y),p in z&&P.set(p,Math.abs(h-z[p]))}const G=new Set,J=new Set;function T(f){H(f,1),f.m(a,d),c.set(f.key,f),d=f.first,m--}for(;o&&m;){const f=k[m-1],p=t[o-1],y=f.key,E=p.key;f===p?(d=f.first,o--,m--):L.has(E)?!c.has(y)||G.has(y)?T(f):J.has(E)?o--:P.get(y)>P.get(E)?(J.add(y),T(f)):(G.add(E),o--):(s(p,c),o--)}for(;o--;){const f=t[o];L.has(f.key)||s(f,c)}for(;m;)T(k[m-1]);return k}function le(t,e,n){const i=t.$$.props[e];i!==void 0&&(t.$$.bound[i]=n,n(t.$$.ctx[i]))}function ue(t){t&&t.c()}function ae(t,e){t&&t.l(e)}function kt(t,e,n,i){const{fragment:r,on_mount:l,on_destroy:c,after_update:a}=t.$$;r&&r.m(e,n),i||D(()=>{const s=l.map(U).filter(st);c?c.push(...s):v(s),t.$$.on_mount=[]}),a.forEach(D)}function Et(t,e){const n=t.$$;n.fragment!==null&&(v(n.on_destroy),n.fragment&&n.fragment.d(e),n.on_destroy=n.fragment=null,n.ctx=[])}function Ct(t,e){t.$$.dirty[0]===-1&&(w.push(t),nt(),t.$$.dirty.fill(0)),t.$$.dirty[e/31|0]|=1<<e%31}function oe(t,e,n,i,r,l,c,a=[-1]){const s=$;b(t);const u=t.$$={fragment:null,ctx:null,props:l,update:O,not_equal:r,bound:K(),on_mount:[],on_destroy:[],on_disconnect:[],before_update:[],after_update:[],context:new Map(e.context||(s?s.$$.context:[])),callbacks:K(),dirty:a,skip_bound:!1,root:e.target||s.$$.root};c&&c(u.root);let d=!1;if(u.ctx=n?n(t,e.props||{},(_,o,...m)=>{const h=m.length?m[0]:o;return u.ctx&&r(u.ctx[_],u.ctx[_]=h)&&(!u.skip_bound&&u.bound[_]&&u.bound[_](h),d&&Ct(t,_)),o}):[],u.update(),d=!0,v(u.before_update),u.fragment=i?i(u.ctx):!1,e.target){if(e.hydrate){ut();const _=mt(e.target);u.fragment&&u.fragment.l(_),_.forEach(Y)}else u.fragment&&u.fragment.c();e.intro&&H(t.$$.fragment),kt(t,e.target,e.anchor,e.customElement),at(),F()}b(s)}class fe{$destroy(){Et(this,1),this.$destroy=O}$on(e,n){const i=this.$$.callbacks[e]||(this.$$.callbacks[e]=[]);return i.push(n),()=>{const r=i.indexOf(n);r!==-1&&i.splice(r,1)}}$set(e){this.$$set&&!lt(e)&&(this.$$.skip_bound=!0,this.$$set(e),this.$$.skip_bound=!1)}}export{ie as $,ee as A,O as B,jt as C,Lt as D,Pt as E,zt as F,_t as G,Nt as H,Zt as I,It as J,D as K,Qt as L,Q as M,se as N,ce as O,R as P,Rt as Q,te as R,fe as S,qt as T,le as U,ne as V,Mt as W,Jt as X,v as Y,Tt as Z,Xt as _,Bt as a,re as a0,Ot as a1,At as a2,Wt as b,Ht as c,vt as d,Dt as e,H as f,$t as g,Y as h,oe as i,Yt as j,Vt as k,Z as l,Ft as m,mt as n,Ut as o,ht as p,Kt as q,I as r,St as s,it as t,bt as u,Gt as v,ue as w,ae as x,kt as y,Et as z};

Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.