git.iko.soy/rowtype-yoga/purescript-native
on adc70ed help sign in
rowtype-yoga/purescript-native/src/PureScript/Kinds.hs
29 lines 651 B history raw
1-----------------------------------------------------------------------------
2--
3-- Module : 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-----------------------------------------------------------------------------
15module PureScript.Kinds (
16 Kind (..)
17) where
19data Kind
20 = KUnknown Int
21 | Star
22 | Row
23 | FunKind Kind Kind deriving Eq
25instance Show Kind where
26 show (KUnknown _) = "?"
27 show Star = "*"
28 show Row = "R"
29 show (FunKind k1 k2) = "(" ++ show k1 ++ ") -> (" ++ show k2 ++ ")"