HKT<G, A> class abstract

https://marcosh.github.io/post/2020/04/15/higher-kinded-types-php-solution.html https://medium.com/@gcanti/higher-kinded-types-in-flow-275b657992b7

• A: Type parameter
• G: Type constructor

Instead of writing G<A>, we will write HKT<G, A>. This is useful because in the expression HKT<G, A>, both G and A have kind *, so we can deal with them with the type system we currently have at our disposal.

Implementers

• Alt
• Applicative
• Extend
• Filterable
• Foldable
• Functor
• IO
• IOOption
• Monad
• Option
• Task
• TaskOption

Constructors

HKT()

const

Properties

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited