├── .gitignore ├── .travis.yml ├── Gemfile ├── Gemfile.lock ├── Gruntfile.coffee ├── README.md ├── book_deploy.sh ├── book_deploy_rsa.enc ├── docker-compose.yml ├── go.sh ├── index.md ├── package.json ├── project ├── build.properties └── plugins.sbt ├── sbt.sh ├── src ├── covers │ ├── epub-cover.png │ ├── html-cover.pdf │ ├── html-cover.png │ └── pdf-cover.pdf ├── css │ └── book.less ├── meta │ ├── epub.yaml │ ├── html.yaml │ ├── metadata.yaml │ └── pdf.yaml ├── pages │ ├── conclusion │ │ └── index.md │ ├── foreword.md │ ├── generic │ │ ├── coproducts.md │ │ ├── debugging.md │ │ ├── exercises.md.disabled │ │ ├── index.md │ │ ├── lazy.md │ │ ├── products.md │ │ ├── summary.md │ │ └── type-classes.md │ ├── intro │ │ ├── contributors.md │ │ ├── generic.md │ │ ├── index.md │ │ ├── source-code.md │ │ └── thisbook.md │ ├── labelled-generic │ │ ├── coproducts.md │ │ ├── index.md │ │ ├── literal-types.md │ │ ├── products.md │ │ └── summary.md │ ├── links.md │ ├── nat │ │ ├── index.md │ │ ├── length.md │ │ ├── ops.md │ │ ├── random.md │ │ └── summary.md │ ├── notes │ │ ├── libraries.md │ │ ├── outline.md │ │ └── todos.md │ ├── ops │ │ ├── index.md │ │ ├── init-last.md │ │ ├── migration.md │ │ ├── penultimate.md │ │ ├── record.md │ │ └── summary.md │ ├── parts │ │ ├── part1.md │ │ ├── part2.md │ │ └── part3.md │ ├── poly │ │ ├── index.md │ │ ├── map-flatmap-fold.md │ │ ├── monomorphic-map.pdf │ │ ├── monomorphic-map.svg │ │ ├── poly.md │ │ ├── polymorphic-map.pdf │ │ ├── polymorphic-map.svg │ │ ├── product-mapper.md │ │ ├── summary.md │ │ └── type-charts.sketch │ ├── representations │ │ ├── adts.md │ │ ├── coproduct.png │ │ ├── coproducts.md │ │ ├── hlist.png │ │ ├── index.md │ │ ├── products.md │ │ ├── representations.sketch │ │ └── summary.md │ ├── solutions.md │ └── type-level-programming │ │ ├── dependent-functions.md │ │ ├── dependent-types.md │ │ ├── index.md │ │ └── summary.md └── template │ ├── cover-notes.html │ ├── cover-notes.tex │ ├── images │ ├── brand.pdf │ ├── brand.svg │ ├── hero-arrow-overlay-white.svg │ ├── hero-left-overlay-white.pdf │ ├── hero-left-overlay-white.svg │ ├── hero-right-overlay-white.pdf │ ├── hero-right-overlay-white.svg │ ├── spaaace.pdf │ └── spaaace.png │ ├── template.epub.html │ ├── template.html │ └── template.tex └── yarn.lock /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/.travis.yml -------------------------------------------------------------------------------- /Gemfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/Gemfile -------------------------------------------------------------------------------- /Gemfile.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/Gemfile.lock -------------------------------------------------------------------------------- /Gruntfile.coffee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/Gruntfile.coffee -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/README.md -------------------------------------------------------------------------------- /book_deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/book_deploy.sh -------------------------------------------------------------------------------- /book_deploy_rsa.enc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/book_deploy_rsa.enc -------------------------------------------------------------------------------- /docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/docker-compose.yml -------------------------------------------------------------------------------- /go.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/go.sh -------------------------------------------------------------------------------- /index.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/package.json -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=0.13.16 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /sbt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/sbt.sh -------------------------------------------------------------------------------- /src/covers/epub-cover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/covers/epub-cover.png -------------------------------------------------------------------------------- /src/covers/html-cover.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/covers/html-cover.pdf -------------------------------------------------------------------------------- /src/covers/html-cover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/covers/html-cover.png -------------------------------------------------------------------------------- /src/covers/pdf-cover.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/covers/pdf-cover.pdf -------------------------------------------------------------------------------- /src/css/book.less: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/css/book.less -------------------------------------------------------------------------------- /src/meta/epub.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/meta/epub.yaml -------------------------------------------------------------------------------- /src/meta/html.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/meta/html.yaml -------------------------------------------------------------------------------- /src/meta/metadata.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/meta/metadata.yaml -------------------------------------------------------------------------------- /src/meta/pdf.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/meta/pdf.yaml -------------------------------------------------------------------------------- /src/pages/conclusion/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/conclusion/index.md -------------------------------------------------------------------------------- /src/pages/foreword.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/foreword.md -------------------------------------------------------------------------------- /src/pages/generic/coproducts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/generic/coproducts.md -------------------------------------------------------------------------------- /src/pages/generic/debugging.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/generic/debugging.md -------------------------------------------------------------------------------- /src/pages/generic/exercises.md.disabled: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/generic/exercises.md.disabled -------------------------------------------------------------------------------- /src/pages/generic/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/generic/index.md -------------------------------------------------------------------------------- /src/pages/generic/lazy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/generic/lazy.md -------------------------------------------------------------------------------- /src/pages/generic/products.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/generic/products.md -------------------------------------------------------------------------------- /src/pages/generic/summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/generic/summary.md -------------------------------------------------------------------------------- /src/pages/generic/type-classes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/generic/type-classes.md -------------------------------------------------------------------------------- /src/pages/intro/contributors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/intro/contributors.md -------------------------------------------------------------------------------- /src/pages/intro/generic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/intro/generic.md -------------------------------------------------------------------------------- /src/pages/intro/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/intro/index.md -------------------------------------------------------------------------------- /src/pages/intro/source-code.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/intro/source-code.md -------------------------------------------------------------------------------- /src/pages/intro/thisbook.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/intro/thisbook.md -------------------------------------------------------------------------------- /src/pages/labelled-generic/coproducts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/labelled-generic/coproducts.md -------------------------------------------------------------------------------- /src/pages/labelled-generic/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/labelled-generic/index.md -------------------------------------------------------------------------------- /src/pages/labelled-generic/literal-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/labelled-generic/literal-types.md -------------------------------------------------------------------------------- /src/pages/labelled-generic/products.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/labelled-generic/products.md -------------------------------------------------------------------------------- /src/pages/labelled-generic/summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/labelled-generic/summary.md -------------------------------------------------------------------------------- /src/pages/links.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/links.md -------------------------------------------------------------------------------- /src/pages/nat/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/nat/index.md -------------------------------------------------------------------------------- /src/pages/nat/length.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/nat/length.md -------------------------------------------------------------------------------- /src/pages/nat/ops.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/nat/ops.md -------------------------------------------------------------------------------- /src/pages/nat/random.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/nat/random.md -------------------------------------------------------------------------------- /src/pages/nat/summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/nat/summary.md -------------------------------------------------------------------------------- /src/pages/notes/libraries.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/notes/libraries.md -------------------------------------------------------------------------------- /src/pages/notes/outline.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/notes/outline.md -------------------------------------------------------------------------------- /src/pages/notes/todos.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/notes/todos.md -------------------------------------------------------------------------------- /src/pages/ops/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/ops/index.md -------------------------------------------------------------------------------- /src/pages/ops/init-last.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/ops/init-last.md -------------------------------------------------------------------------------- /src/pages/ops/migration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/ops/migration.md -------------------------------------------------------------------------------- /src/pages/ops/penultimate.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/ops/penultimate.md -------------------------------------------------------------------------------- /src/pages/ops/record.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/ops/record.md -------------------------------------------------------------------------------- /src/pages/ops/summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/ops/summary.md -------------------------------------------------------------------------------- /src/pages/parts/part1.md: -------------------------------------------------------------------------------- 1 | \part{Type class derivation} 2 | -------------------------------------------------------------------------------- /src/pages/parts/part2.md: -------------------------------------------------------------------------------- 1 | \part{Shapeless ops} 2 | -------------------------------------------------------------------------------- /src/pages/parts/part3.md: -------------------------------------------------------------------------------- 1 | \part{Summary} 2 | -------------------------------------------------------------------------------- /src/pages/poly/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/index.md -------------------------------------------------------------------------------- /src/pages/poly/map-flatmap-fold.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/map-flatmap-fold.md -------------------------------------------------------------------------------- /src/pages/poly/monomorphic-map.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/monomorphic-map.pdf -------------------------------------------------------------------------------- /src/pages/poly/monomorphic-map.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/monomorphic-map.svg -------------------------------------------------------------------------------- /src/pages/poly/poly.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/poly.md -------------------------------------------------------------------------------- /src/pages/poly/polymorphic-map.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/polymorphic-map.pdf -------------------------------------------------------------------------------- /src/pages/poly/polymorphic-map.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/polymorphic-map.svg -------------------------------------------------------------------------------- /src/pages/poly/product-mapper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/product-mapper.md -------------------------------------------------------------------------------- /src/pages/poly/summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/summary.md -------------------------------------------------------------------------------- /src/pages/poly/type-charts.sketch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/poly/type-charts.sketch -------------------------------------------------------------------------------- /src/pages/representations/adts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/representations/adts.md -------------------------------------------------------------------------------- /src/pages/representations/coproduct.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/representations/coproduct.png -------------------------------------------------------------------------------- /src/pages/representations/coproducts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/representations/coproducts.md -------------------------------------------------------------------------------- /src/pages/representations/hlist.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/representations/hlist.png -------------------------------------------------------------------------------- /src/pages/representations/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/representations/index.md -------------------------------------------------------------------------------- /src/pages/representations/products.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/representations/products.md -------------------------------------------------------------------------------- /src/pages/representations/representations.sketch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/representations/representations.sketch -------------------------------------------------------------------------------- /src/pages/representations/summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/representations/summary.md -------------------------------------------------------------------------------- /src/pages/solutions.md: -------------------------------------------------------------------------------- 1 | \appendix 2 | 3 |
4 |
5 | -------------------------------------------------------------------------------- /src/pages/type-level-programming/dependent-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/type-level-programming/dependent-functions.md -------------------------------------------------------------------------------- /src/pages/type-level-programming/dependent-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/type-level-programming/dependent-types.md -------------------------------------------------------------------------------- /src/pages/type-level-programming/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/type-level-programming/index.md -------------------------------------------------------------------------------- /src/pages/type-level-programming/summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/pages/type-level-programming/summary.md -------------------------------------------------------------------------------- /src/template/cover-notes.html: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/template/cover-notes.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/template/images/brand.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/images/brand.pdf -------------------------------------------------------------------------------- /src/template/images/brand.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/images/brand.svg -------------------------------------------------------------------------------- /src/template/images/hero-arrow-overlay-white.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/images/hero-arrow-overlay-white.svg -------------------------------------------------------------------------------- /src/template/images/hero-left-overlay-white.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/images/hero-left-overlay-white.pdf -------------------------------------------------------------------------------- /src/template/images/hero-left-overlay-white.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/images/hero-left-overlay-white.svg -------------------------------------------------------------------------------- /src/template/images/hero-right-overlay-white.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/images/hero-right-overlay-white.pdf -------------------------------------------------------------------------------- /src/template/images/hero-right-overlay-white.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/images/hero-right-overlay-white.svg -------------------------------------------------------------------------------- /src/template/images/spaaace.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/images/spaaace.pdf -------------------------------------------------------------------------------- /src/template/images/spaaace.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/images/spaaace.png -------------------------------------------------------------------------------- /src/template/template.epub.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/template.epub.html -------------------------------------------------------------------------------- /src/template/template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/template.html -------------------------------------------------------------------------------- /src/template/template.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/src/template/template.tex -------------------------------------------------------------------------------- /yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/underscoreio/shapeless-guide/HEAD/yarn.lock --------------------------------------------------------------------------------