meow.data

package meow.data

Type members

Classlikes

trait Functor[F[_]]

A type F is a Functor if it provides a function fmap which, given any types A and B lets you apply any function from ~A => B~ to turn an F[A] into an F[B], preserving the structure of F. Furthermore F needs to adhere to the following:

A type F is a Functor if it provides a function fmap which, given any types A and B lets you apply any function from ~A => B~ to turn an F[A] into an F[B], preserving the structure of F. Furthermore F needs to adhere to the following:

Identity

fa <#> identity == identity(fa)

Composition

(f compose g) `<$>` fa  == (map[F](f) compose map[F](g))(fa)
Companion
object
object Functor

Instances and static functions for meow.data.Functor

Instances and static functions for meow.data.Functor

Companion
class
trait Monoid[A]
Companion
object
object Monoid
Companion
class
case class NonEmpty[A](head: A, tail: List[A])
Companion
object
object NonEmpty
Companion
class
trait Semigroup[A]
Companion
object
object Semigroup
Companion
class

Types

opaque type Identity[A]