├── .gitignore ├── README.md ├── dash.sbt ├── doc ├── List.pdf ├── List.svg ├── sbt.gif └── sbt.md └── src ├── main └── scala │ └── eg │ ├── ActorState.scala │ ├── Alg.scala │ ├── Argonaut.scala │ ├── CanBuildFrom.scala │ ├── DefaultTypeArg.scala │ ├── ExistentialQuantification.scala │ ├── FBounds.scala │ ├── FixedState.scala │ ├── ForkIO.scala │ ├── FreeMonad.scala │ ├── FreeSTM.scala │ ├── IO.scala │ ├── IOFuture.scala │ ├── JsonParser.scala │ ├── Kleisli.scala │ ├── ListFoldIso.scala │ ├── Pascal.scala │ ├── PathDependentTypes.scala │ ├── PhantomTypes.scala │ ├── Quote.scala │ ├── ST.scala │ ├── Sock.scala │ ├── State.scala │ ├── StateT.scala │ ├── StmSanta.scala │ ├── Tags.scala │ ├── Typeclass.scala │ ├── Unapply.scala │ ├── Unfold.scala │ ├── ZipMany.scala │ └── registry.md └── test └── scala └── eg ├── JsonParserTest.scala ├── QuoteTest.scala └── SpecsExample.scala /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/README.md -------------------------------------------------------------------------------- /dash.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/dash.sbt -------------------------------------------------------------------------------- /doc/List.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/doc/List.pdf -------------------------------------------------------------------------------- /doc/List.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/doc/List.svg -------------------------------------------------------------------------------- /doc/sbt.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/doc/sbt.gif -------------------------------------------------------------------------------- /doc/sbt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/doc/sbt.md -------------------------------------------------------------------------------- /src/main/scala/eg/ActorState.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/ActorState.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Alg.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Alg.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Argonaut.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Argonaut.scala -------------------------------------------------------------------------------- /src/main/scala/eg/CanBuildFrom.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/CanBuildFrom.scala -------------------------------------------------------------------------------- /src/main/scala/eg/DefaultTypeArg.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/DefaultTypeArg.scala -------------------------------------------------------------------------------- /src/main/scala/eg/ExistentialQuantification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/ExistentialQuantification.scala -------------------------------------------------------------------------------- /src/main/scala/eg/FBounds.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/FBounds.scala -------------------------------------------------------------------------------- /src/main/scala/eg/FixedState.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/FixedState.scala -------------------------------------------------------------------------------- /src/main/scala/eg/ForkIO.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/ForkIO.scala -------------------------------------------------------------------------------- /src/main/scala/eg/FreeMonad.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/FreeMonad.scala -------------------------------------------------------------------------------- /src/main/scala/eg/FreeSTM.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/FreeSTM.scala -------------------------------------------------------------------------------- /src/main/scala/eg/IO.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/IO.scala -------------------------------------------------------------------------------- /src/main/scala/eg/IOFuture.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/IOFuture.scala -------------------------------------------------------------------------------- /src/main/scala/eg/JsonParser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/JsonParser.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Kleisli.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Kleisli.scala -------------------------------------------------------------------------------- /src/main/scala/eg/ListFoldIso.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/ListFoldIso.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Pascal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Pascal.scala -------------------------------------------------------------------------------- /src/main/scala/eg/PathDependentTypes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/PathDependentTypes.scala -------------------------------------------------------------------------------- /src/main/scala/eg/PhantomTypes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/PhantomTypes.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Quote.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Quote.scala -------------------------------------------------------------------------------- /src/main/scala/eg/ST.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/ST.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Sock.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Sock.scala -------------------------------------------------------------------------------- /src/main/scala/eg/State.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/State.scala -------------------------------------------------------------------------------- /src/main/scala/eg/StateT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/StateT.scala -------------------------------------------------------------------------------- /src/main/scala/eg/StmSanta.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/StmSanta.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Tags.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Tags.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Typeclass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Typeclass.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Unapply.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Unapply.scala -------------------------------------------------------------------------------- /src/main/scala/eg/Unfold.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/Unfold.scala -------------------------------------------------------------------------------- /src/main/scala/eg/ZipMany.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/ZipMany.scala -------------------------------------------------------------------------------- /src/main/scala/eg/registry.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/main/scala/eg/registry.md -------------------------------------------------------------------------------- /src/test/scala/eg/JsonParserTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/test/scala/eg/JsonParserTest.scala -------------------------------------------------------------------------------- /src/test/scala/eg/QuoteTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/test/scala/eg/QuoteTest.scala -------------------------------------------------------------------------------- /src/test/scala/eg/SpecsExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/examples/HEAD/src/test/scala/eg/SpecsExample.scala --------------------------------------------------------------------------------