git.iko.soy/rowtype-yoga/purescript-native
on 856ca36 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Kinds.hs
46 lines 912 B history raw
1-----------------------------------------------------------------------------
2--
3-- Module : Language.PureScript.Kinds
4-- Copyright : (c) Phil Freeman 2013
5-- License : MIT
6--
7-- Maintainer : Phil Freeman <paf31@cantab.net>
8-- Stability : experimental
9-- Portability :
10--
11-- |
12--
13-----------------------------------------------------------------------------
15{-# LANGUAGE DeriveDataTypeable #-}
17module Language.PureScript.Kinds where
19import Data.Data
21import Control.Monad.Unify (TypedUnknown(..))
23-- |
24-- The data type of kinds
25--
26data Kind
27 -- |
28 -- Unification variable of type Kind
29 --
30 = KUnknown (TypedUnknown Kind)
31 -- |
32 -- The kind of types
33 --
34 | Star
35 -- |
36 -- The kind of effects
37 --
38 | Bang
39 -- |
40 -- Kinds for labelled, unordered rows without duplicates
41 --
42 | Row Kind
43 -- |
44 -- Function kinds
45 --
46 | FunKind Kind Kind deriving (Show, Eq, Data, Typeable)