File: hie010.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 (24 lines) | stat: -rw-r--r-- 511 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
 
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE DataKinds #-}
module MoreExplicitForalls where

import Data.Proxy

data family F1 a
data instance forall (x :: Bool). F1 (Proxy x) = MkF

class C a where
  type F2 a b

instance forall a. C [a] where
  type forall b. F2 [a] b = Int


type family G a b where
  forall x y. G [x] (Proxy y) = Double
  forall z.   G z   z         = Bool