From d1d506764ca7fe01dc1dc9ef60f2f4aa93a80f2a Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Wed, 24 Jan 2024 21:36:09 +0000 Subject: [PATCH] Updated gh-pages --- 404.html | 2 +- assets/js/7fb136ad.70b331c5.js | 1 + assets/js/7fb136ad.a838a3e6.js | 1 - ...in.05fb36f7.js => runtime~main.1450a633.js} | 2 +- docs/cats/index.html | 2 +- docs/circe/index.html | 2 +- docs/core/index.html | 2 +- docs/core/newtype-refined/index.html | 2 +- docs/core/newtype/index.html | 2 +- docs/core/refined/custom-type/index.html | 2 +- docs/core/refined/index.html | 2 +- docs/core/refined/types/index.html | 2 +- docs/doobie/index.html | 2 +- docs/index.html | 18 +++++++++--------- docs/pureconfig/index.html | 2 +- index.html | 2 +- markdown-page/index.html | 2 +- 17 files changed, 24 insertions(+), 24 deletions(-) create mode 100644 assets/js/7fb136ad.70b331c5.js delete mode 100644 assets/js/7fb136ad.a838a3e6.js rename assets/js/{runtime~main.05fb36f7.js => runtime~main.1450a633.js} (98%) diff --git a/404.html b/404.html index e40c974..f89755f 100644 --- a/404.html +++ b/404.html @@ -7,7 +7,7 @@ - + diff --git a/assets/js/7fb136ad.70b331c5.js b/assets/js/7fb136ad.70b331c5.js new file mode 100644 index 0000000..fed8380 --- /dev/null +++ b/assets/js/7fb136ad.70b331c5.js @@ -0,0 +1 @@ +"use strict";(self.webpackChunkwebsite=self.webpackChunkwebsite||[]).push([[631],{696:(e,n,s)=>{s.r(n),s.d(n,{assets:()=>E,contentTitle:()=>D,default:()=>M,frontMatter:()=>I,metadata:()=>V,toc:()=>_});var i=s(5893),r=s(1151),l=s(7294),a=s(512),d=s(2466),c=s(6550),t=s(469),o=s(1980),h=s(7392),u=s(12);function f(e){return l.Children.toArray(e).filter((e=>"\n"!==e)).map((e=>{if(!e||(0,l.isValidElement)(e)&&function(e){const{props:n}=e;return!!n&&"object"==typeof n&&"value"in n}(e))return e;throw new Error(`Docusaurus error: Bad child <${"string"==typeof e.type?e.type:e.type.name}>: all children of the component should be , and every should have a unique "value" prop.`)}))?.filter(Boolean)??[]}function b(e){const{values:n,children:s}=e;return(0,l.useMemo)((()=>{const e=n??function(e){return f(e).map((e=>{let{props:{value:n,label:s,attributes:i,default:r}}=e;return{value:n,label:s,attributes:i,default:r}}))}(s);return function(e){const n=(0,h.l)(e,((e,n)=>e.value===n.value));if(n.length>0)throw new Error(`Docusaurus error: Duplicate values "${n.map((e=>e.value)).join(", ")}" found in . Every value needs to be unique.`)}(e),e}),[n,s])}function p(e){let{value:n,tabValues:s}=e;return s.some((e=>e.value===n))}function x(e){let{queryString:n=!1,groupId:s}=e;const i=(0,c.k6)(),r=function(e){let{queryString:n=!1,groupId:s}=e;if("string"==typeof n)return n;if(!1===n)return null;if(!0===n&&!s)throw new Error('Docusaurus error: The component groupId prop is required if queryString=true, because this value is used as the search param name. You can also provide an explicit value such as queryString="my-search-param".');return s??null}({queryString:n,groupId:s});return[(0,o._X)(r),(0,l.useCallback)((e=>{if(!r)return;const n=new URLSearchParams(i.location.search);n.set(r,e),i.replace({...i.location,search:n.toString()})}),[r,i])]}function j(e){const{defaultValue:n,queryString:s=!1,groupId:i}=e,r=b(e),[a,d]=(0,l.useState)((()=>function(e){let{defaultValue:n,tabValues:s}=e;if(0===s.length)throw new Error("Docusaurus error: the component requires at least one children component");if(n){if(!p({value:n,tabValues:s}))throw new Error(`Docusaurus error: The has a defaultValue "${n}" but none of its children has the corresponding value. Available values are: ${s.map((e=>e.value)).join(", ")}. If you intend to show no default tab, use defaultValue={null} instead.`);return n}const i=s.find((e=>e.default))??s[0];if(!i)throw new Error("Unexpected error: 0 tabValues");return i.value}({defaultValue:n,tabValues:r}))),[c,o]=x({queryString:s,groupId:i}),[h,f]=function(e){let{groupId:n}=e;const s=function(e){return e?`docusaurus.tab.${e}`:null}(n),[i,r]=(0,u.Nk)(s);return[i,(0,l.useCallback)((e=>{s&&r.set(e)}),[s,r])]}({groupId:i}),j=(()=>{const e=c??h;return p({value:e,tabValues:r})?e:null})();(0,t.Z)((()=>{j&&d(j)}),[j]);return{selectedValue:a,selectValue:(0,l.useCallback)((e=>{if(!p({value:e,tabValues:r}))throw new Error(`Can't select invalid tab value=${e}`);d(e),o(e),f(e)}),[o,f,r]),tabValues:r}}var v=s(2389);const g={tabList:"tabList__CuJ",tabItem:"tabItem_LNqP"};function m(e){let{className:n,block:s,selectedValue:r,selectValue:l,tabValues:c}=e;const t=[],{blockElementScrollPositionUntilNextRender:o}=(0,d.o5)(),h=e=>{const n=e.currentTarget,s=t.indexOf(n),i=c[s].value;i!==r&&(o(n),l(i))},u=e=>{let n=null;switch(e.key){case"Enter":h(e);break;case"ArrowRight":{const s=t.indexOf(e.currentTarget)+1;n=t[s]??t[0];break}case"ArrowLeft":{const s=t.indexOf(e.currentTarget)-1;n=t[s]??t[t.length-1];break}}n?.focus()};return(0,i.jsx)("ul",{role:"tablist","aria-orientation":"horizontal",className:(0,a.Z)("tabs",{"tabs--block":s},n),children:c.map((e=>{let{value:n,label:s,attributes:l}=e;return(0,i.jsx)("li",{role:"tab",tabIndex:r===n?0:-1,"aria-selected":r===n,ref:e=>t.push(e),onKeyDown:u,onClick:h,...l,className:(0,a.Z)("tabs__item",g.tabItem,l?.className,{"tabs__item--active":r===n}),children:s??n},n)}))})}function k(e){let{lazy:n,children:s,selectedValue:r}=e;const a=(Array.isArray(s)?s:[s]).filter(Boolean);if(n){const e=a.find((e=>e.props.value===r));return e?(0,l.cloneElement)(e,{className:"margin-top--md"}):null}return(0,i.jsx)("div",{className:"margin-top--md",children:a.map(((e,n)=>(0,l.cloneElement)(e,{key:n,hidden:e.props.value!==r})))})}function y(e){const n=j(e);return(0,i.jsxs)("div",{className:(0,a.Z)("tabs-container",g.tabList),children:[(0,i.jsx)(m,{...e,...n}),(0,i.jsx)(k,{...e,...n})]})}function N(e){const n=(0,v.Z)();return(0,i.jsx)(y,{...e,children:f(e.children)},String(n))}const S={tabItem:"tabItem_Ymn6"};function w(e){let{children:n,hidden:s,className:r}=e;return(0,i.jsx)("div",{role:"tabpanel",className:(0,a.Z)(S.tabItem,r),hidden:s,children:n})}const I={sidebar_position:1,id:"intro",title:"Refined4s",slug:"/"},D="Refined4s",V={id:"intro",title:"Refined4s",description:"Build Status",source:"@site/../generated-docs/docs/intro.md",sourceDirName:".",slug:"/",permalink:"/docs/",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:1,frontMatter:{sidebar_position:1,id:"intro",title:"Refined4s",slug:"/"},sidebar:"docsSidebar",next:{title:"core module",permalink:"/docs/core/"}},E={},_=[{value:"Getting Started",id:"getting-started",level:2},{value:"refined4s-core",id:"refined4s-core",level:3},{value:"refined4s-cats",id:"refined4s-cats",level:3},{value:"refined4s-circe",id:"refined4s-circe",level:3},{value:"refined4s-pureconfig",id:"refined4s-pureconfig",level:3},{value:"refined4s-doobie-ce2",id:"refined4s-doobie-ce2",level:3},{value:"refined4s-doobie-ce3",id:"refined4s-doobie-ce3",level:3},{value:"refined4s-extras-render",id:"refined4s-extras-render",level:3},{value:"All refined4s modules",id:"all-refined4s-modules",level:3},{value:"Why refined4s?",id:"why-refined4s",level:2}];function A(e){const n={a:"a",code:"code",h1:"h1",h2:"h2",h3:"h3",hr:"hr",img:"img",p:"p",pre:"pre",table:"table",tbody:"tbody",td:"td",th:"th",thead:"thead",tr:"tr",...(0,r.a)(),...e.components};return(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(n.h1,{id:"refined4s",children:"Refined4s"}),"\n",(0,i.jsxs)(n.p,{children:[(0,i.jsx)(n.a,{href:"https://github.com/kevin-lee/refined4s/actions?workflow=Build-All",children:(0,i.jsx)(n.img,{src:"https://github.com/kevin-lee/refined4s/workflows/Build-All/badge.svg",alt:"Build Status"})}),"\n",(0,i.jsx)(n.a,{href:"https://github.com/kevin-lee/refined4s/actions?workflow=Release",children:(0,i.jsx)(n.img,{src:"https://github.com/kevin-lee/refined4s/workflows/Release/badge.svg",alt:"Release Status"})}),"\n",(0,i.jsx)(n.a,{href:"https://index.scala-lang.org/kevin-lee/refined4s",children:(0,i.jsx)(n.img,{src:"https://index.scala-lang.org/kevin-lee/refined4s/latest.svg",alt:"Latest version"})})]}),"\n",(0,i.jsx)(n.p,{children:(0,i.jsx)(n.img,{alt:"Refined4s Logo",src:s(6420).Z+"",width:"320",height:"320"})}),"\n",(0,i.jsx)(n.p,{children:"Newtypes and Refinement types for Scala 3"}),"\n",(0,i.jsxs)(n.table,{children:[(0,i.jsx)(n.thead,{children:(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.th,{style:{textAlign:"right"},children:"Project"}),(0,i.jsx)(n.th,{children:"Maven Central"})]})}),(0,i.jsxs)(n.tbody,{children:[(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-core"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-core_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-core_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-cats"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-cats_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-cats_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-circe"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-circe_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-circe_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-pureconfig"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-pureconfig_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-pureconfig_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-doobie-ce2"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-doobie-ce2_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-doobie-ce2_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-doobie-ce3"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-doobie-ce3_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-doobie-ce3_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-extras-render"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-extras-render_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-extras-render_3/badge.svg",alt:"Maven Central"})})})]})]})]}),"\n",(0,i.jsx)(n.h2,{id:"getting-started",children:"Getting Started"}),"\n",(0,i.jsxs)(n.p,{children:["To get ",(0,i.jsx)(n.code,{children:"refined4s"})," for your project,"]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-core",children:"refined4s-core"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(w,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-core" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %%% "refined4s-core" % "0.13.0"\n'})})]}),(0,i.jsxs)(w,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-core" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %%% "refined4s-core" % "0.13.0"\n'})})]}),(0,i.jsx)(w,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-core:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-cats",children:"refined4s-cats"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(w,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-cats" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %%% "refined4s-cats" % "0.13.0"\n'})})]}),(0,i.jsxs)(w,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-cats" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %%% "refined4s-cats" % "0.13.0"\n'})})]}),(0,i.jsx)(w,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-cats:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-circe",children:"refined4s-circe"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(w,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-circe" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %%% "refined4s-circe" % "0.13.0"\n'})})]}),(0,i.jsxs)(w,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-circe" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %%% "refined4s-circe" % "0.13.0"\n'})})]}),(0,i.jsx)(w,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-circe:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-pureconfig",children:"refined4s-pureconfig"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(w,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-pureconfig" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %%% "refined4s-pureconfig" % "0.13.0"\n'})})]}),(0,i.jsxs)(w,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-pureconfig" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %%% "refined4s-pureconfig" % "0.13.0"\n'})})]}),(0,i.jsx)(w,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-pureconfig:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-doobie-ce2",children:"refined4s-doobie-ce2"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(w,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %%% "refined4s-doobie-ce2" % "0.13.0"\n'})})]}),(0,i.jsxs)(w,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %%% "refined4s-doobie-ce2" % "0.13.0"\n'})})]}),(0,i.jsx)(w,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-doobie-ce2:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-doobie-ce3",children:"refined4s-doobie-ce3"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(w,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %%% "refined4s-doobie-ce3" % "0.13.0"\n'})})]}),(0,i.jsxs)(w,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %%% "refined4s-doobie-ce3" % "0.13.0"\n'})})]}),(0,i.jsx)(w,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-doobie-ce3:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.hr,{}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-extras-render",children:"refined4s-extras-render"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(w,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-extras-render" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %%% "refined4s-extras-render" % "0.13.0"\n'})})]}),(0,i.jsxs)(w,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-extras-render" % "0.13.0"\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %%% "refined4s-extras-render" % "0.13.0"\n'})})]}),(0,i.jsx)(w,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-extras-render:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.hr,{}),"\n",(0,i.jsx)(n.h3,{id:"all-refined4s-modules",children:"All refined4s modules"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(w,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-core" % "0.13.0",\n"io.kevinlee" %% "refined4s-cats" % "0.13.0",\n"io.kevinlee" %% "refined4s-circe" % "0.13.0",\n"io.kevinlee" %% "refined4s-pureconfig" % "0.13.0",\n"io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0", // Use either refined4s-doobie-ce2\n"io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0", // OR refined4s-doobie-ce3\n"io.kevinlee" %% "refined4s-extras-render" % "0.13.0",\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %%% "refined4s-core" % "0.13.0",\n"io.kevinlee" %%% "refined4s-cats" % "0.13.0",\n"io.kevinlee" %%% "refined4s-circe" % "0.13.0",\n"io.kevinlee" %%% "refined4s-pureconfig" % "0.13.0",\n"io.kevinlee" %%% "refined4s-doobie-ce2" % "0.13.0", // Use either refined4s-doobie-ce2\n"io.kevinlee" %%% "refined4s-doobie-ce3" % "0.13.0", // OR refined4s-doobie-ce3\n"io.kevinlee" %%% "refined4s-extras-render" % "0.13.0",\n'})})]}),(0,i.jsxs)(w,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies ++= Seq(\n "io.kevinlee" %% "refined4s-core" % "0.13.0",\n "io.kevinlee" %% "refined4s-cats" % "0.13.0",\n "io.kevinlee" %% "refined4s-circe" % "0.13.0",\n "io.kevinlee" %% "refined4s-pureconfig" % "0.13.0",\n "io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0", // Use either refined4s-doobie-ce2\n "io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0", // OR refined4s-doobie-ce3\n "io.kevinlee" %% "refined4s-extras-render" % "0.13.0",\n)\n'})}),(0,i.jsx)(n.p,{children:"or for Scala.js"}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies ++= Seq(\n "io.kevinlee" %%% "refined4s-core" % "0.13.0",\n "io.kevinlee" %%% "refined4s-cats" % "0.13.0",\n "io.kevinlee" %%% "refined4s-circe" % "0.13.0",\n "io.kevinlee" %%% "refined4s-pureconfig" % "0.13.0",\n "io.kevinlee" %%% "refined4s-doobie-ce2" % "0.13.0", // Use either refined4s-doobie-ce2\n "io.kevinlee" %%% "refined4s-doobie-ce3" % "0.13.0", // OR refined4s-doobie-ce3\n "io.kevinlee" %%% "refined4s-extras-render" % "0.13.0",\n)\n'})})]}),(0,i.jsx)(w,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-core:0.13.0"\n//> using dep "io.kevinlee::refined4s-cats:0.13.0"\n//> using dep "io.kevinlee::refined4s-circe:0.13.0"\n//> using dep "io.kevinlee::refined4s-pureconfig:0.13.0"\n//> using dep "io.kevinlee::refined4s-doobie-ce2:0.13.0" // Use either refined4s-doobie-ce2\n//> using dep "io.kevinlee::refined4s-doobie-ce3:0.13.0" // OR refined4s-doobie-ce3\n//> using dep "io.kevinlee::refined4s-extras-render:0.13.0"\n'})})})]}),"\n",(0,i.jsxs)(n.h2,{id:"why-refined4s",children:["Why ",(0,i.jsx)(n.code,{children:"refined4s"}),"?"]}),"\n",(0,i.jsx)(n.p,{children:"Given the following methods"}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'def hello(name: String): Unit = println(s"Hello $name")\ndef sendEmail(email: String): Unit = {\n println(s"Sending email to [email address: $email]")\n // ... send email\n}\n'})}),"\n",(0,i.jsx)(n.p,{children:"You can easily mess up method parameters like this."}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'val name = "Kevin"\n// name: String = "Kevin"\nval email = "blah@blah.blah"\n// email: String = "blah@blah.blah"\n\nhello(email)\n// Hello blah@blah.blah\nsendEmail(name)\n// Sending email to [email address: Kevin]\n'})}),"\n",(0,i.jsxs)(n.p,{children:["If you use ",(0,i.jsx)(n.code,{children:"refined4s"}),", you don't need to worry about that anymore."]}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'import refined4s.*\n\ntype Name = Name.Type\n\nobject Name extends Newtype[String]\n\ntype Email = Email.Type\n\nobject Email extends Newtype[String]\n\ndef hello(name: Name): Unit = println(s"Hello ${name.value}")\ndef sendEmail(email: Email): Unit = {\n println(s"Sending email to [email address: ${email.value}]")\n // ... send email\n}\n'})}),"\n",(0,i.jsx)(n.p,{children:"You can easily mess up method parameters like this."}),"\n",(0,i.jsx)(n.p,{children:"If you pass the right types, it works."}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'val name = Name("Kevin")\n// name: Type = "Kevin"\nval email = Email("blah@blah.blah")\n// email: Type = "blah@blah.blah"\n\nhello(name)\n// Hello Kevin\nsendEmail(email)\n// Sending email to [email address: blah@blah.blah]\n'})}),"\n",(0,i.jsx)(n.p,{children:"If you don't, it does not compile."}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:"hello(email)\nsendEmail(name)\n// error:\n// Found: (repl.MdocSession.MdocApp1.email : repl.MdocSession.MdocApp1.Email.Type)\n// Required: repl.MdocSession.MdocApp1.Name\n// hello(email)\n// ^^^^^\n// error:\n// Found: (repl.MdocSession.MdocApp1.name : repl.MdocSession.MdocApp1.Name.Type)\n// Required: repl.MdocSession.MdocApp1.Email\n// sendEmail(name)\n// ^^^^\n// error: \n// Line is indented too far to the left, or a `}` is missing\n// error: \n// Line is indented too far to the left, or a `}` is missing\n// error: \n// Line is indented too far to the left, or a `}` is missing\n"})})]})}function M(e={}){const{wrapper:n}={...(0,r.a)(),...e.components};return n?(0,i.jsx)(n,{...e,children:(0,i.jsx)(A,{...e})}):A(e)}},6420:(e,n,s)=>{s.d(n,{Z:()=>i});const i=s.p+"assets/images/refined4s-320x320-2483b0bb373fca5ed168465ebe10e97e.png"},1151:(e,n,s)=>{s.d(n,{Z:()=>d,a:()=>a});var i=s(7294);const r={},l=i.createContext(r);function a(e){const n=i.useContext(l);return i.useMemo((function(){return"function"==typeof e?e(n):{...n,...e}}),[n,e])}function d(e){let n;return n=e.disableParentContext?"function"==typeof e.components?e.components(r):e.components||r:a(e.components),i.createElement(l.Provider,{value:n},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/7fb136ad.a838a3e6.js b/assets/js/7fb136ad.a838a3e6.js deleted file mode 100644 index c873202..0000000 --- a/assets/js/7fb136ad.a838a3e6.js +++ /dev/null @@ -1 +0,0 @@ -"use strict";(self.webpackChunkwebsite=self.webpackChunkwebsite||[]).push([[631],{696:(e,n,s)=>{s.r(n),s.d(n,{assets:()=>_,contentTitle:()=>V,default:()=>M,frontMatter:()=>S,metadata:()=>E,toc:()=>A});var i=s(5893),l=s(1151),r=s(7294),a=s(512),d=s(2466),t=s(6550),c=s(469),o=s(1980),u=s(7392),h=s(12);function f(e){return r.Children.toArray(e).filter((e=>"\n"!==e)).map((e=>{if(!e||(0,r.isValidElement)(e)&&function(e){const{props:n}=e;return!!n&&"object"==typeof n&&"value"in n}(e))return e;throw new Error(`Docusaurus error: Bad child <${"string"==typeof e.type?e.type:e.type.name}>: all children of the component should be , and every should have a unique "value" prop.`)}))?.filter(Boolean)??[]}function b(e){const{values:n,children:s}=e;return(0,r.useMemo)((()=>{const e=n??function(e){return f(e).map((e=>{let{props:{value:n,label:s,attributes:i,default:l}}=e;return{value:n,label:s,attributes:i,default:l}}))}(s);return function(e){const n=(0,u.l)(e,((e,n)=>e.value===n.value));if(n.length>0)throw new Error(`Docusaurus error: Duplicate values "${n.map((e=>e.value)).join(", ")}" found in . Every value needs to be unique.`)}(e),e}),[n,s])}function p(e){let{value:n,tabValues:s}=e;return s.some((e=>e.value===n))}function x(e){let{queryString:n=!1,groupId:s}=e;const i=(0,t.k6)(),l=function(e){let{queryString:n=!1,groupId:s}=e;if("string"==typeof n)return n;if(!1===n)return null;if(!0===n&&!s)throw new Error('Docusaurus error: The component groupId prop is required if queryString=true, because this value is used as the search param name. You can also provide an explicit value such as queryString="my-search-param".');return s??null}({queryString:n,groupId:s});return[(0,o._X)(l),(0,r.useCallback)((e=>{if(!l)return;const n=new URLSearchParams(i.location.search);n.set(l,e),i.replace({...i.location,search:n.toString()})}),[l,i])]}function v(e){const{defaultValue:n,queryString:s=!1,groupId:i}=e,l=b(e),[a,d]=(0,r.useState)((()=>function(e){let{defaultValue:n,tabValues:s}=e;if(0===s.length)throw new Error("Docusaurus error: the component requires at least one children component");if(n){if(!p({value:n,tabValues:s}))throw new Error(`Docusaurus error: The has a defaultValue "${n}" but none of its children has the corresponding value. Available values are: ${s.map((e=>e.value)).join(", ")}. If you intend to show no default tab, use defaultValue={null} instead.`);return n}const i=s.find((e=>e.default))??s[0];if(!i)throw new Error("Unexpected error: 0 tabValues");return i.value}({defaultValue:n,tabValues:l}))),[t,o]=x({queryString:s,groupId:i}),[u,f]=function(e){let{groupId:n}=e;const s=function(e){return e?`docusaurus.tab.${e}`:null}(n),[i,l]=(0,h.Nk)(s);return[i,(0,r.useCallback)((e=>{s&&l.set(e)}),[s,l])]}({groupId:i}),v=(()=>{const e=t??u;return p({value:e,tabValues:l})?e:null})();(0,c.Z)((()=>{v&&d(v)}),[v]);return{selectedValue:a,selectValue:(0,r.useCallback)((e=>{if(!p({value:e,tabValues:l}))throw new Error(`Can't select invalid tab value=${e}`);d(e),o(e),f(e)}),[o,f,l]),tabValues:l}}var g=s(2389);const j={tabList:"tabList__CuJ",tabItem:"tabItem_LNqP"};function m(e){let{className:n,block:s,selectedValue:l,selectValue:r,tabValues:t}=e;const c=[],{blockElementScrollPositionUntilNextRender:o}=(0,d.o5)(),u=e=>{const n=e.currentTarget,s=c.indexOf(n),i=t[s].value;i!==l&&(o(n),r(i))},h=e=>{let n=null;switch(e.key){case"Enter":u(e);break;case"ArrowRight":{const s=c.indexOf(e.currentTarget)+1;n=c[s]??c[0];break}case"ArrowLeft":{const s=c.indexOf(e.currentTarget)-1;n=c[s]??c[c.length-1];break}}n?.focus()};return(0,i.jsx)("ul",{role:"tablist","aria-orientation":"horizontal",className:(0,a.Z)("tabs",{"tabs--block":s},n),children:t.map((e=>{let{value:n,label:s,attributes:r}=e;return(0,i.jsx)("li",{role:"tab",tabIndex:l===n?0:-1,"aria-selected":l===n,ref:e=>c.push(e),onKeyDown:h,onClick:u,...r,className:(0,a.Z)("tabs__item",j.tabItem,r?.className,{"tabs__item--active":l===n}),children:s??n},n)}))})}function k(e){let{lazy:n,children:s,selectedValue:l}=e;const a=(Array.isArray(s)?s:[s]).filter(Boolean);if(n){const e=a.find((e=>e.props.value===l));return e?(0,r.cloneElement)(e,{className:"margin-top--md"}):null}return(0,i.jsx)("div",{className:"margin-top--md",children:a.map(((e,n)=>(0,r.cloneElement)(e,{key:n,hidden:e.props.value!==l})))})}function y(e){const n=v(e);return(0,i.jsxs)("div",{className:(0,a.Z)("tabs-container",j.tabList),children:[(0,i.jsx)(m,{...e,...n}),(0,i.jsx)(k,{...e,...n})]})}function N(e){const n=(0,g.Z)();return(0,i.jsx)(y,{...e,children:f(e.children)},String(n))}const w={tabItem:"tabItem_Ymn6"};function I(e){let{children:n,hidden:s,className:l}=e;return(0,i.jsx)("div",{role:"tabpanel",className:(0,a.Z)(w.tabItem,l),hidden:s,children:n})}const S={sidebar_position:1,id:"intro",title:"Refined4s",slug:"/"},V="Refined4s",E={id:"intro",title:"Refined4s",description:"Build Status",source:"@site/../generated-docs/docs/intro.md",sourceDirName:".",slug:"/",permalink:"/docs/",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:1,frontMatter:{sidebar_position:1,id:"intro",title:"Refined4s",slug:"/"},sidebar:"docsSidebar",next:{title:"core module",permalink:"/docs/core/"}},_={},A=[{value:"Getting Started",id:"getting-started",level:2},{value:"refined4s-core",id:"refined4s-core",level:3},{value:"refined4s-cats",id:"refined4s-cats",level:3},{value:"refined4s-circe",id:"refined4s-circe",level:3},{value:"refined4s-pureconfig",id:"refined4s-pureconfig",level:3},{value:"refined4s-doobie-ce2",id:"refined4s-doobie-ce2",level:3},{value:"refined4s-doobie-ce3",id:"refined4s-doobie-ce3",level:3},{value:"refined4s-extras-render",id:"refined4s-extras-render",level:3},{value:"All refined4s modules",id:"all-refined4s-modules",level:3},{value:"Why refined4s?",id:"why-refined4s",level:2}];function D(e){const n={a:"a",code:"code",h1:"h1",h2:"h2",h3:"h3",hr:"hr",img:"img",p:"p",pre:"pre",table:"table",tbody:"tbody",td:"td",th:"th",thead:"thead",tr:"tr",...(0,l.a)(),...e.components};return(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(n.h1,{id:"refined4s",children:"Refined4s"}),"\n",(0,i.jsxs)(n.p,{children:[(0,i.jsx)(n.a,{href:"https://github.com/kevin-lee/refined4s/actions?workflow=Build-All",children:(0,i.jsx)(n.img,{src:"https://github.com/kevin-lee/refined4s/workflows/Build-All/badge.svg",alt:"Build Status"})}),"\n",(0,i.jsx)(n.a,{href:"https://github.com/kevin-lee/refined4s/actions?workflow=Release",children:(0,i.jsx)(n.img,{src:"https://github.com/kevin-lee/refined4s/workflows/Release/badge.svg",alt:"Release Status"})}),"\n",(0,i.jsx)(n.a,{href:"https://index.scala-lang.org/kevin-lee/refined4s",children:(0,i.jsx)(n.img,{src:"https://index.scala-lang.org/kevin-lee/refined4s/latest.svg",alt:"Latest version"})})]}),"\n",(0,i.jsx)(n.p,{children:(0,i.jsx)(n.img,{alt:"Refined4s Logo",src:s(6420).Z+"",width:"320",height:"320"})}),"\n",(0,i.jsx)(n.p,{children:"Newtypes and Refinement types for Scala 3"}),"\n",(0,i.jsxs)(n.table,{children:[(0,i.jsx)(n.thead,{children:(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.th,{style:{textAlign:"right"},children:"Project"}),(0,i.jsx)(n.th,{children:"Maven Central"})]})}),(0,i.jsxs)(n.tbody,{children:[(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-core"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-core_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-core_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-cats"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-cats_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-cats_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-circe"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-circe_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-circe_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-pureconfig"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-pureconfig_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-pureconfig_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-doobie-ce2"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-doobie-ce2_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-doobie-ce2_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-doobie-ce3"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-doobie-ce3_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-doobie-ce3_3/badge.svg",alt:"Maven Central"})})})]}),(0,i.jsxs)(n.tr,{children:[(0,i.jsx)(n.td,{style:{textAlign:"right"},children:"refined4s-extras-render"}),(0,i.jsx)(n.td,{children:(0,i.jsx)(n.a,{href:"https://search.maven.org/artifact/io.kevinlee/refined4s-extras-render_3",children:(0,i.jsx)(n.img,{src:"https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-extras-render_3/badge.svg",alt:"Maven Central"})})})]})]})]}),"\n",(0,i.jsx)(n.h2,{id:"getting-started",children:"Getting Started"}),"\n",(0,i.jsxs)(n.p,{children:["To get ",(0,i.jsx)(n.code,{children:"refined4s"})," for your project,"]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-core",children:"refined4s-core"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(I,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-core" % "0.13.0"\n'})})]}),(0,i.jsxs)(I,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-core" % "0.13.0"\n'})})]}),(0,i.jsx)(I,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-core:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-cats",children:"refined4s-cats"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(I,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-cats" % "0.13.0"\n'})})]}),(0,i.jsxs)(I,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-cats" % "0.13.0"\n'})})]}),(0,i.jsx)(I,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-cats:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-circe",children:"refined4s-circe"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(I,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-circe" % "0.13.0"\n'})})]}),(0,i.jsxs)(I,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-circe" % "0.13.0"\n'})})]}),(0,i.jsx)(I,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-circe:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-pureconfig",children:"refined4s-pureconfig"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(I,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-pureconfig" % "0.13.0"\n'})})]}),(0,i.jsxs)(I,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-pureconfig" % "0.13.0"\n'})})]}),(0,i.jsx)(I,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-pureconfig:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-doobie-ce2",children:"refined4s-doobie-ce2"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(I,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0"\n'})})]}),(0,i.jsxs)(I,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0"\n'})})]}),(0,i.jsx)(I,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-doobie-ce2:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-doobie-ce3",children:"refined4s-doobie-ce3"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(I,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0"\n'})})]}),(0,i.jsxs)(I,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0"\n'})})]}),(0,i.jsx)(I,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-doobie-ce3:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.hr,{}),"\n",(0,i.jsx)(n.h3,{id:"refined4s-extras-render",children:"refined4s-extras-render"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(I,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-extras-render" % "0.13.0"\n'})})]}),(0,i.jsxs)(I,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies += "io.kevinlee" %% "refined4s-extras-render" % "0.13.0"\n'})})]}),(0,i.jsx)(I,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-extras-render:0.13.0"\n'})})})]}),"\n",(0,i.jsx)(n.hr,{}),"\n",(0,i.jsx)(n.h3,{id:"all-refined4s-modules",children:"All refined4s modules"}),"\n",(0,i.jsxs)(N,{groupId:"refined4s",defaultValue:"refined4s-sbt",values:[{label:"sbt",value:"refined4s-sbt"},{label:"sbt (with libraryDependencies)",value:"refined4s-sbt-lib"},{label:"scala-cli",value:"refined4s-scala-cli"}],children:[(0,i.jsxs)(I,{value:"refined4s-sbt",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'"io.kevinlee" %% "refined4s-core" % "0.13.0",\n"io.kevinlee" %% "refined4s-cats" % "0.13.0",\n"io.kevinlee" %% "refined4s-circe" % "0.13.0",\n"io.kevinlee" %% "refined4s-pureconfig" % "0.13.0",\n"io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0", // Use either refined4s-doobie-ce2\n"io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0", // OR refined4s-doobie-ce3\n"io.kevinlee" %% "refined4s-extras-render" % "0.13.0",\n'})})]}),(0,i.jsxs)(I,{value:"refined4s-sbt-lib",children:[(0,i.jsxs)(n.p,{children:["In ",(0,i.jsx)(n.code,{children:"build.sbt"}),","]}),(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'libraryDependencies ++= Seq(\n "io.kevinlee" %% "refined4s-core" % "0.13.0",\n "io.kevinlee" %% "refined4s-cats" % "0.13.0",\n "io.kevinlee" %% "refined4s-circe" % "0.13.0",\n "io.kevinlee" %% "refined4s-pureconfig" % "0.13.0",\n "io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0", // Use either refined4s-doobie-ce2\n "io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0", // OR refined4s-doobie-ce3\n "io.kevinlee" %% "refined4s-extras-render" % "0.13.0",\n)\n'})})]}),(0,i.jsx)(I,{value:"refined4s-scala-cli",children:(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'//> using dep "io.kevinlee::refined4s-core:0.13.0"\n//> using dep "io.kevinlee::refined4s-cats:0.13.0"\n//> using dep "io.kevinlee::refined4s-circe:0.13.0"\n//> using dep "io.kevinlee::refined4s-pureconfig:0.13.0"\n//> using dep "io.kevinlee::refined4s-doobie-ce2:0.13.0" // Use either refined4s-doobie-ce2\n//> using dep "io.kevinlee::refined4s-doobie-ce3:0.13.0" // OR refined4s-doobie-ce3\n//> using dep "io.kevinlee::refined4s-extras-render:0.13.0"\n'})})})]}),"\n",(0,i.jsxs)(n.h2,{id:"why-refined4s",children:["Why ",(0,i.jsx)(n.code,{children:"refined4s"}),"?"]}),"\n",(0,i.jsx)(n.p,{children:"Given the following methods"}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'def hello(name: String): Unit = println(s"Hello $name")\ndef sendEmail(email: String): Unit = {\n println(s"Sending email to [email address: $email]")\n // ... send email\n}\n'})}),"\n",(0,i.jsx)(n.p,{children:"You can easily mess up method parameters like this."}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'val name = "Kevin"\n// name: String = "Kevin"\nval email = "blah@blah.blah"\n// email: String = "blah@blah.blah"\n\nhello(email)\n// Hello blah@blah.blah\nsendEmail(name)\n// Sending email to [email address: Kevin]\n'})}),"\n",(0,i.jsxs)(n.p,{children:["If you use ",(0,i.jsx)(n.code,{children:"refined4s"}),", you don't need to worry about that anymore."]}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'import refined4s.*\n\ntype Name = Name.Type\n\nobject Name extends Newtype[String]\n\ntype Email = Email.Type\n\nobject Email extends Newtype[String]\n\ndef hello(name: Name): Unit = println(s"Hello ${name.value}")\ndef sendEmail(email: Email): Unit = {\n println(s"Sending email to [email address: ${email.value}]")\n // ... send email\n}\n'})}),"\n",(0,i.jsx)(n.p,{children:"You can easily mess up method parameters like this."}),"\n",(0,i.jsx)(n.p,{children:"If you pass the right types, it works."}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:'val name = Name("Kevin")\n// name: Type = "Kevin"\nval email = Email("blah@blah.blah")\n// email: Type = "blah@blah.blah"\n\nhello(name)\n// Hello Kevin\nsendEmail(email)\n// Sending email to [email address: blah@blah.blah]\n'})}),"\n",(0,i.jsx)(n.p,{children:"If you don't, it does not compile."}),"\n",(0,i.jsx)(n.pre,{children:(0,i.jsx)(n.code,{className:"language-scala",children:"hello(email)\nsendEmail(name)\n// error:\n// Found: (repl.MdocSession.MdocApp1.email : repl.MdocSession.MdocApp1.Email.Type)\n// Required: repl.MdocSession.MdocApp1.Name\n// hello(email)\n// ^^^^^\n// error:\n// Found: (repl.MdocSession.MdocApp1.name : repl.MdocSession.MdocApp1.Name.Type)\n// Required: repl.MdocSession.MdocApp1.Email\n// sendEmail(name)\n// ^^^^\n// error: \n// Line is indented too far to the left, or a `}` is missing\n// error: \n// Line is indented too far to the left, or a `}` is missing\n// error: \n// Line is indented too far to the left, or a `}` is missing\n"})})]})}function M(e={}){const{wrapper:n}={...(0,l.a)(),...e.components};return n?(0,i.jsx)(n,{...e,children:(0,i.jsx)(D,{...e})}):D(e)}},6420:(e,n,s)=>{s.d(n,{Z:()=>i});const i=s.p+"assets/images/refined4s-320x320-2483b0bb373fca5ed168465ebe10e97e.png"},1151:(e,n,s)=>{s.d(n,{Z:()=>d,a:()=>a});var i=s(7294);const l={},r=i.createContext(l);function a(e){const n=i.useContext(r);return i.useMemo((function(){return"function"==typeof e?e(n):{...n,...e}}),[n,e])}function d(e){let n;return n=e.disableParentContext?"function"==typeof e.components?e.components(l):e.components||l:a(e.components),i.createElement(r.Provider,{value:n},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/runtime~main.05fb36f7.js b/assets/js/runtime~main.1450a633.js similarity index 98% rename from assets/js/runtime~main.05fb36f7.js rename to assets/js/runtime~main.1450a633.js index c4a6b05..3c34d05 100644 --- a/assets/js/runtime~main.05fb36f7.js +++ b/assets/js/runtime~main.1450a633.js @@ -1 +1 @@ -(()=>{"use strict";var e,t,r,a,o,n={},c={};function f(e){var t=c[e];if(void 0!==t)return t.exports;var r=c[e]={exports:{}};return n[e].call(r.exports,r,r.exports,f),r.exports}f.m=n,e=[],f.O=(t,r,a,o)=>{if(!r){var n=1/0;for(b=0;b=o)&&Object.keys(f.O).every((e=>f.O[e](r[d])))?r.splice(d--,1):(c=!1,o0&&e[b-1][2]>o;b--)e[b]=e[b-1];e[b]=[r,a,o]},f.n=e=>{var t=e&&e.__esModule?()=>e.default:()=>e;return f.d(t,{a:t}),t},r=Object.getPrototypeOf?e=>Object.getPrototypeOf(e):e=>e.__proto__,f.t=function(e,a){if(1&a&&(e=this(e)),8&a)return e;if("object"==typeof e&&e){if(4&a&&e.__esModule)return e;if(16&a&&"function"==typeof e.then)return e}var o=Object.create(null);f.r(o);var n={};t=t||[null,r({}),r([]),r(r)];for(var c=2&a&&e;"object"==typeof c&&!~t.indexOf(c);c=r(c))Object.getOwnPropertyNames(c).forEach((t=>n[t]=()=>e[t]));return n.default=()=>e,f.d(o,n),o},f.d=(e,t)=>{for(var r in t)f.o(t,r)&&!f.o(e,r)&&Object.defineProperty(e,r,{enumerable:!0,get:t[r]})},f.f={},f.e=e=>Promise.all(Object.keys(f.f).reduce(((t,r)=>(f.f[r](e,t),t)),[])),f.u=e=>"assets/js/"+({53:"935f2afb",80:"d8c8fd71",85:"1f391b9e",87:"4d986000",111:"21face6d",237:"1df93b7f",266:"516c3461",368:"a94703ab",414:"393be207",518:"a7bd4aaa",584:"328c9882",609:"54c4a91f",610:"bae7b540",631:"7fb136ad",661:"5e95c892",692:"4bedc385",705:"0e6b1cbc",778:"c6e51ddd",854:"89c2e708",873:"4c9ef651",918:"17896441"}[e]||e)+"."+{53:"69af065a",80:"a1b46bdf",85:"ae5469f9",87:"b26b1acd",111:"7a609d00",237:"62583bdc",266:"14a62e7e",368:"a4893501",414:"18e91144",518:"d63a5bf6",584:"7318a849",609:"7c6a3bbd",610:"944af2d1",631:"a838a3e6",661:"3a245908",674:"afc6632e",692:"9613d7d6",705:"04c57618",772:"3e3b906c",778:"fda6080a",854:"ea3857a3",873:"8f0e92b3",918:"a2541306"}[e]+".js",f.miniCssF=e=>{},f.g=function(){if("object"==typeof globalThis)return globalThis;try{return this||new Function("return this")()}catch(e){if("object"==typeof window)return window}}(),f.o=(e,t)=>Object.prototype.hasOwnProperty.call(e,t),a={},o="website:",f.l=(e,t,r,n)=>{if(a[e])a[e].push(t);else{var c,d;if(void 0!==r)for(var i=document.getElementsByTagName("script"),b=0;b{c.onerror=c.onload=null,clearTimeout(s);var o=a[e];if(delete a[e],c.parentNode&&c.parentNode.removeChild(c),o&&o.forEach((e=>e(r))),t)return t(r)},s=setTimeout(l.bind(null,void 0,{type:"timeout",target:c}),12e4);c.onerror=l.bind(null,c.onerror),c.onload=l.bind(null,c.onload),d&&document.head.appendChild(c)}},f.r=e=>{"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},f.p="/",f.gca=function(e){return e={17896441:"918","935f2afb":"53",d8c8fd71:"80","1f391b9e":"85","4d986000":"87","21face6d":"111","1df93b7f":"237","516c3461":"266",a94703ab:"368","393be207":"414",a7bd4aaa:"518","328c9882":"584","54c4a91f":"609",bae7b540:"610","7fb136ad":"631","5e95c892":"661","4bedc385":"692","0e6b1cbc":"705",c6e51ddd:"778","89c2e708":"854","4c9ef651":"873"}[e]||e,f.p+f.u(e)},(()=>{var e={303:0,532:0};f.f.j=(t,r)=>{var a=f.o(e,t)?e[t]:void 0;if(0!==a)if(a)r.push(a[2]);else if(/^(303|532)$/.test(t))e[t]=0;else{var o=new Promise(((r,o)=>a=e[t]=[r,o]));r.push(a[2]=o);var n=f.p+f.u(t),c=new Error;f.l(n,(r=>{if(f.o(e,t)&&(0!==(a=e[t])&&(e[t]=void 0),a)){var o=r&&("load"===r.type?"missing":r.type),n=r&&r.target&&r.target.src;c.message="Loading chunk "+t+" failed.\n("+o+": "+n+")",c.name="ChunkLoadError",c.type=o,c.request=n,a[1](c)}}),"chunk-"+t,t)}},f.O.j=t=>0===e[t];var t=(t,r)=>{var a,o,n=r[0],c=r[1],d=r[2],i=0;if(n.some((t=>0!==e[t]))){for(a in c)f.o(c,a)&&(f.m[a]=c[a]);if(d)var b=d(f)}for(t&&t(r);i{"use strict";var e,t,r,a,o,n={},c={};function f(e){var t=c[e];if(void 0!==t)return t.exports;var r=c[e]={exports:{}};return n[e].call(r.exports,r,r.exports,f),r.exports}f.m=n,e=[],f.O=(t,r,a,o)=>{if(!r){var n=1/0;for(b=0;b=o)&&Object.keys(f.O).every((e=>f.O[e](r[d])))?r.splice(d--,1):(c=!1,o0&&e[b-1][2]>o;b--)e[b]=e[b-1];e[b]=[r,a,o]},f.n=e=>{var t=e&&e.__esModule?()=>e.default:()=>e;return f.d(t,{a:t}),t},r=Object.getPrototypeOf?e=>Object.getPrototypeOf(e):e=>e.__proto__,f.t=function(e,a){if(1&a&&(e=this(e)),8&a)return e;if("object"==typeof e&&e){if(4&a&&e.__esModule)return e;if(16&a&&"function"==typeof e.then)return e}var o=Object.create(null);f.r(o);var n={};t=t||[null,r({}),r([]),r(r)];for(var c=2&a&&e;"object"==typeof c&&!~t.indexOf(c);c=r(c))Object.getOwnPropertyNames(c).forEach((t=>n[t]=()=>e[t]));return n.default=()=>e,f.d(o,n),o},f.d=(e,t)=>{for(var r in t)f.o(t,r)&&!f.o(e,r)&&Object.defineProperty(e,r,{enumerable:!0,get:t[r]})},f.f={},f.e=e=>Promise.all(Object.keys(f.f).reduce(((t,r)=>(f.f[r](e,t),t)),[])),f.u=e=>"assets/js/"+({53:"935f2afb",80:"d8c8fd71",85:"1f391b9e",87:"4d986000",111:"21face6d",237:"1df93b7f",266:"516c3461",368:"a94703ab",414:"393be207",518:"a7bd4aaa",584:"328c9882",609:"54c4a91f",610:"bae7b540",631:"7fb136ad",661:"5e95c892",692:"4bedc385",705:"0e6b1cbc",778:"c6e51ddd",854:"89c2e708",873:"4c9ef651",918:"17896441"}[e]||e)+"."+{53:"69af065a",80:"a1b46bdf",85:"ae5469f9",87:"b26b1acd",111:"7a609d00",237:"62583bdc",266:"14a62e7e",368:"a4893501",414:"18e91144",518:"d63a5bf6",584:"7318a849",609:"7c6a3bbd",610:"944af2d1",631:"70b331c5",661:"3a245908",674:"afc6632e",692:"9613d7d6",705:"04c57618",772:"3e3b906c",778:"fda6080a",854:"ea3857a3",873:"8f0e92b3",918:"a2541306"}[e]+".js",f.miniCssF=e=>{},f.g=function(){if("object"==typeof globalThis)return globalThis;try{return this||new Function("return this")()}catch(e){if("object"==typeof window)return window}}(),f.o=(e,t)=>Object.prototype.hasOwnProperty.call(e,t),a={},o="website:",f.l=(e,t,r,n)=>{if(a[e])a[e].push(t);else{var c,d;if(void 0!==r)for(var i=document.getElementsByTagName("script"),b=0;b{c.onerror=c.onload=null,clearTimeout(s);var o=a[e];if(delete a[e],c.parentNode&&c.parentNode.removeChild(c),o&&o.forEach((e=>e(r))),t)return t(r)},s=setTimeout(l.bind(null,void 0,{type:"timeout",target:c}),12e4);c.onerror=l.bind(null,c.onerror),c.onload=l.bind(null,c.onload),d&&document.head.appendChild(c)}},f.r=e=>{"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},f.p="/",f.gca=function(e){return e={17896441:"918","935f2afb":"53",d8c8fd71:"80","1f391b9e":"85","4d986000":"87","21face6d":"111","1df93b7f":"237","516c3461":"266",a94703ab:"368","393be207":"414",a7bd4aaa:"518","328c9882":"584","54c4a91f":"609",bae7b540:"610","7fb136ad":"631","5e95c892":"661","4bedc385":"692","0e6b1cbc":"705",c6e51ddd:"778","89c2e708":"854","4c9ef651":"873"}[e]||e,f.p+f.u(e)},(()=>{var e={303:0,532:0};f.f.j=(t,r)=>{var a=f.o(e,t)?e[t]:void 0;if(0!==a)if(a)r.push(a[2]);else if(/^(303|532)$/.test(t))e[t]=0;else{var o=new Promise(((r,o)=>a=e[t]=[r,o]));r.push(a[2]=o);var n=f.p+f.u(t),c=new Error;f.l(n,(r=>{if(f.o(e,t)&&(0!==(a=e[t])&&(e[t]=void 0),a)){var o=r&&("load"===r.type?"missing":r.type),n=r&&r.target&&r.target.src;c.message="Loading chunk "+t+" failed.\n("+o+": "+n+")",c.name="ChunkLoadError",c.type=o,c.request=n,a[1](c)}}),"chunk-"+t,t)}},f.O.j=t=>0===e[t];var t=(t,r)=>{var a,o,n=r[0],c=r[1],d=r[2],i=0;if(n.some((t=>0!==e[t]))){for(a in c)f.o(c,a)&&(f.m[a]=c[a]);if(d)var b=d(f)}for(t&&t(r);i - + diff --git a/docs/circe/index.html b/docs/circe/index.html index ce61bcb..5afc91b 100644 --- a/docs/circe/index.html +++ b/docs/circe/index.html @@ -7,7 +7,7 @@ - + diff --git a/docs/core/index.html b/docs/core/index.html index bf2e862..1acd39d 100644 --- a/docs/core/index.html +++ b/docs/core/index.html @@ -7,7 +7,7 @@ - + diff --git a/docs/core/newtype-refined/index.html b/docs/core/newtype-refined/index.html index 5f7185f..5c5d106 100644 --- a/docs/core/newtype-refined/index.html +++ b/docs/core/newtype-refined/index.html @@ -7,7 +7,7 @@ - + diff --git a/docs/core/newtype/index.html b/docs/core/newtype/index.html index f3a8939..25fa767 100644 --- a/docs/core/newtype/index.html +++ b/docs/core/newtype/index.html @@ -7,7 +7,7 @@ - + diff --git a/docs/core/refined/custom-type/index.html b/docs/core/refined/custom-type/index.html index 39a978d..2a62133 100644 --- a/docs/core/refined/custom-type/index.html +++ b/docs/core/refined/custom-type/index.html @@ -7,7 +7,7 @@ - + diff --git a/docs/core/refined/index.html b/docs/core/refined/index.html index 56881c4..51cf0e8 100644 --- a/docs/core/refined/index.html +++ b/docs/core/refined/index.html @@ -7,7 +7,7 @@ - + diff --git a/docs/core/refined/types/index.html b/docs/core/refined/types/index.html index 3bc9176..91585fe 100644 --- a/docs/core/refined/types/index.html +++ b/docs/core/refined/types/index.html @@ -7,7 +7,7 @@ - + diff --git a/docs/doobie/index.html b/docs/doobie/index.html index b084fef..e6093e6 100644 --- a/docs/doobie/index.html +++ b/docs/doobie/index.html @@ -7,7 +7,7 @@ - + diff --git a/docs/index.html b/docs/index.html index 19df7f5..fea4e66 100644 --- a/docs/index.html +++ b/docs/index.html @@ -7,7 +7,7 @@ - + @@ -21,23 +21,23 @@

Getting Started​

To get refined4s for your project,

refined4s-core​

-

In build.sbt,

"io.kevinlee" %% "refined4s-core" % "0.13.0"
+

In build.sbt,

"io.kevinlee" %% "refined4s-core" % "0.13.0"

or for Scala.js

"io.kevinlee" %%% "refined4s-core" % "0.13.0"

refined4s-cats​

-

In build.sbt,

"io.kevinlee" %% "refined4s-cats" % "0.13.0"
+

In build.sbt,

"io.kevinlee" %% "refined4s-cats" % "0.13.0"

or for Scala.js

"io.kevinlee" %%% "refined4s-cats" % "0.13.0"

refined4s-circe​

-

In build.sbt,

"io.kevinlee" %% "refined4s-circe" % "0.13.0"
+

In build.sbt,

"io.kevinlee" %% "refined4s-circe" % "0.13.0"

or for Scala.js

"io.kevinlee" %%% "refined4s-circe" % "0.13.0"

refined4s-pureconfig​

-

In build.sbt,

"io.kevinlee" %% "refined4s-pureconfig" % "0.13.0"
+

In build.sbt,

"io.kevinlee" %% "refined4s-pureconfig" % "0.13.0"

or for Scala.js

"io.kevinlee" %%% "refined4s-pureconfig" % "0.13.0"

refined4s-doobie-ce2​

-

In build.sbt,

"io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0"
+

In build.sbt,

"io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0"

or for Scala.js

"io.kevinlee" %%% "refined4s-doobie-ce2" % "0.13.0"

refined4s-doobie-ce3​

-

In build.sbt,

"io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0"
+

In build.sbt,

"io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0"

or for Scala.js

"io.kevinlee" %%% "refined4s-doobie-ce3" % "0.13.0"

refined4s-extras-render​

-

In build.sbt,

"io.kevinlee" %% "refined4s-extras-render" % "0.13.0"
+

In build.sbt,

"io.kevinlee" %% "refined4s-extras-render" % "0.13.0"

or for Scala.js

"io.kevinlee" %%% "refined4s-extras-render" % "0.13.0"

All refined4s modules​

-

In build.sbt,

"io.kevinlee" %% "refined4s-core" % "0.13.0",
"io.kevinlee" %% "refined4s-cats" % "0.13.0",
"io.kevinlee" %% "refined4s-circe" % "0.13.0",
"io.kevinlee" %% "refined4s-pureconfig" % "0.13.0",
"io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0", // Use either refined4s-doobie-ce2
"io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0", // OR refined4s-doobie-ce3
"io.kevinlee" %% "refined4s-extras-render" % "0.13.0",
+

In build.sbt,

"io.kevinlee" %% "refined4s-core" % "0.13.0",
"io.kevinlee" %% "refined4s-cats" % "0.13.0",
"io.kevinlee" %% "refined4s-circe" % "0.13.0",
"io.kevinlee" %% "refined4s-pureconfig" % "0.13.0",
"io.kevinlee" %% "refined4s-doobie-ce2" % "0.13.0", // Use either refined4s-doobie-ce2
"io.kevinlee" %% "refined4s-doobie-ce3" % "0.13.0", // OR refined4s-doobie-ce3
"io.kevinlee" %% "refined4s-extras-render" % "0.13.0",

or for Scala.js

"io.kevinlee" %%% "refined4s-core" % "0.13.0",
"io.kevinlee" %%% "refined4s-cats" % "0.13.0",
"io.kevinlee" %%% "refined4s-circe" % "0.13.0",
"io.kevinlee" %%% "refined4s-pureconfig" % "0.13.0",
"io.kevinlee" %%% "refined4s-doobie-ce2" % "0.13.0", // Use either refined4s-doobie-ce2
"io.kevinlee" %%% "refined4s-doobie-ce3" % "0.13.0", // OR refined4s-doobie-ce3
"io.kevinlee" %%% "refined4s-extras-render" % "0.13.0",

Why refined4s?​

Given the following methods

def hello(name: String): Unit = println(s"Hello $name")
def sendEmail(email: String): Unit = {
  println(s"Sending email to [email address: $email]")
  // ... send email
}
diff --git a/docs/pureconfig/index.html b/docs/pureconfig/index.html index 3f9703c..799c2d4 100644 --- a/docs/pureconfig/index.html +++ b/docs/pureconfig/index.html @@ -7,7 +7,7 @@ - + diff --git a/index.html b/index.html index 1fdfe4a..36b533b 100644 --- a/index.html +++ b/index.html @@ -7,7 +7,7 @@ - + diff --git a/markdown-page/index.html b/markdown-page/index.html index 67e22ab..39f6e52 100644 --- a/markdown-page/index.html +++ b/markdown-page/index.html @@ -7,7 +7,7 @@ - +