git.iko.soy/rowtype-yoga/purescript-native
on 5ce8345 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Kinds.hs
45 lines 895 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
20import Language.PureScript.Unknown
22-- |
23-- The data type of kinds
24--
25data Kind
26 -- |
27 -- Unification variable of type Kind
28 --
29 = KUnknown (Unknown Kind)
30 -- |
31 -- The kind of types
32 --
33 | Star
34 -- |
35 -- The kind of effects
36 --
37 | Bang
38 -- |
39 -- Kinds for labelled, unordered rows without duplicates
40 --
41 | Row Kind
42 -- |
43 -- Function kinds
44 --
45 | FunKind Kind Kind deriving (Show, Eq, Data, Typeable)