File: Dep3.hs

package info (click to toggle)
haskell-ghc-exactprint 1.7.1.0-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,044 kB
  • sloc: haskell: 32,076; makefile: 7
file content (26 lines) | stat: -rw-r--r-- 457 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
 
{-# LANGUAGE TypeFamilies, TypeInType, GADTs #-}

module Dep3 where

import Data.Kind
import GHC.Exts ( Constraint )

type Star1 = Type

data Id1 (a :: Star1) where
  Id1 :: a -> Id1 a

data Id1' :: Star1 -> Type where
  Id1' :: a -> Id1' a

type family Star2 x where
  Star2 x = Type

data Id2a (a :: Star2 Constraint) = Id2a a


data Id2 (a :: Star2 Constraint) where
  Id2 :: a -> Id2 a

data Id2' :: Star2 Constraint -> Type where
  Id2' :: a -> Id2' a