search

blamario / grampa

Grammatical parsers - combinator library for parsing general context-free grammars
BSD 2-Clause "Simplified" License
36 stars 13 forks source link

Add PolyKinds to list of extensions. #1

Closed clintonmead closed 7 years ago

clintonmead commented 7 years ago

Added PolyKinds to list of extensions for module Rank2.

This is useful as it allows functors like this:

data D (t :: Bool -> *) = D (t 'True) (t 'False)

instance Rank2.Functor D where
  f <$> (D x y) = D (f x) (f y)

In this case, D :: (Bool -> *) -> *

But without PolyKinds, only types of kind (* -> *) -> * are accepted.

I also bumped the version to 0.1.1.

blamario commented 7 years ago

Seems innocuous enough.