git.iko.soy/rowtype-yoga/purescript-native
on e82e607 help sign in
rowtype-yoga/purescript-native/docs/source/kinds.rst
21 lines 695 B history raw
1Kind System
2===========
4The kind system defines the following kinds:
6- ``*``, the kind of types.
7- ``!``, the kind of effects.
8- Arrow kinds ``k1 -> k2``
9- Row kinds ``# k``
11Row Kinds
12---------
14The kind ``# k`` of rows is used to classify labelled, unordered collections of types of kind ``k``.
16For example ``# *`` is the kind of rows of types, as used to define records, and ``# !`` is the kind of rows of effects, used to define the monad ``Eff`` of extensible effects.
18Quantification
19--------------
21A type variable can refer to not only a type or a row, but a type constructor, or row constructor etc., and type variables with those kinds can be bound inside a ``forall`` quantifier.