Skip to content

Commit 5545bed

Browse files
committed
Added kind signatures in boot files
1 parent 4f83421 commit 5545bed

File tree

2 files changed

+10
-0
lines changed

2 files changed

+10
-0
lines changed
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1+
{-# LANGUAGE StandaloneKindSignatures #-}
2+
13
module Dhall.Syntax.Chunks where
24

5+
import Data.Kind (Type)
6+
7+
type Chunks :: Type -> Type -> Type
38
data Chunks s a
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,14 @@
1+
{-# LANGUAGE StandaloneKindSignatures #-}
2+
13
module Dhall.Syntax.Types where
24

5+
import Data.Kind (Type)
6+
37
data DhallDouble
48

59
data PreferAnnotation
610

11+
type FieldSelection :: Type -> Type
712
data FieldSelection s
813

914
data WithComponent

0 commit comments

Comments
 (0)