Release 0.3.5

• Global Syntax
• Partial Functions
• New data types: ListKW, Const, FreeApplicative
• New typeclasses: MonadError, MonadReader, MonadState, MonadWriter, SemigroupK, MonoidK, FunctorFilter, Reducible
• Laws for most typeclasses
• Binding now allows CoroutineContext
• New package: kategory-effects. UNSTABLE/EXPERIMENTAL
  • Data types: IO, JobKW
  • Typeclass:AsyncContext
• New package: kategory-test
  • All laws have moved here
  • New Generators and helpers
• Code generation: support for @higherkind and @deriving
• Documentation: add ank to compile documentation

Release 0.3.4

Added:

• StateT type
• Discipline
• IO Monad
• Kleisli instances
• Test laws

Changed:

Removed:

• Remove remaining katz references

Fixed:

• Fix usage in Android API below 19

Full list of closed PRs:

#122 MonadError Laws [by @raulraja]
#65 Create discipline [by @JMPergar]
#112 Typeclasses laws [by @raulraja]
#116 Rename test folder from katz to kategory [by @Guardiola31337, @ffgiraldez]
#117 Remove katz directory [by @raulraja, @pakoito]
#119 fix usage on android API <19 [by @ffgiraldez, @pakoito]
#120 Add fixes to Monads found by new Law checks [by @pakoito, @raulraja]
#121 Address PR changes in Eq [by @pakoito]
#109 Add IO Monad [by @pakoito, @ffgiraldez]
#123 Add instances to Kleisli [by @pakoito]
#124 Add tests for StateT
#125 Extract common implementations of Eq [by @pakoito]
#126 Fix first Reader implicit instantiation [by @pakoito, @ffgiraldez]
#127 Kleisli and EitherT extra instances and tests + some fixes [by @raulraja]
#128 Add laws for Foldable instances [by @pakoito]
#129 Add instance lookup for Foldable and Traverse methods [by @pakoito]

Release 0.3.3

First release using new Organization 🎉

New stuff

• WriterT
• Yoneda
• CoYoneda
• Cokleisli
• Support co-monadic comprehension
• Cofree
• Bimonad
• Foldable
• Traversable

Probably this should be enough to promote to 0.4 but not this time 😄

Added EitherT

Fix implicit monad in Keisli #81

Kotlin version 1.1.3

Upgraded Kotlin to v1.1.3 to fix inference errors during builds.

Free TypeClass and more stuff

Merge pull request #70 from FineCinnamon/rr-free

Free + stack safe monads

More Data Types

Added OptionT
Use typealias for all HKTs

Minor fixes

Id type it's now a data class
remove incremental compilation from repo to fix CI builds, configure it now in your local.properties

Release v0.2.5

Continue adding more dataclasses

Added Cartesian Builder
Added FuntionK
Added Coproduct
Added Kleisli
Added Inject
Added Comonad

Initial Types with Monad Support

Initial release with some types, and do notation based on corutines