symantic-lib 0.0.3.20180213 → 0.0.4.20180831
raw patch · 14 files changed
+80/−6 lines, 14 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Language.Symantic.Lib.Semigroup: instance (Language.Symantic.Grammar.Source.Source src, Language.Symantic.Compiling.Term.SymInj (* -> GHC.Types.Constraint) ss Data.Semigroup.Semigroup) => Language.Symantic.Compiling.Module.ModuleFor (* -> GHC.Types.Constraint) src ss Data.Semigroup.Semigroup
- Language.Symantic.Lib.Semigroup: instance Language.Symantic.Compiling.Grammar.Gram_Term_AtomsFor (* -> GHC.Types.Constraint) src ss g Data.Semigroup.Semigroup
- Language.Symantic.Lib.Semigroup: instance Language.Symantic.Typing.Module.FixityOf (* -> GHC.Types.Constraint) Data.Semigroup.Semigroup
- Language.Symantic.Lib.Semigroup: instance Language.Symantic.Typing.Module.NameTyOf (* -> GHC.Types.Constraint) Data.Semigroup.Semigroup
- Language.Symantic.Lib.Semigroup: instance Language.Symantic.Typing.Type.ClassInstancesFor (* -> GHC.Types.Constraint) Data.Semigroup.Semigroup
- Language.Symantic.Lib.Semigroup: instance Language.Symantic.Typing.Type.TypeInstancesFor (* -> GHC.Types.Constraint) Data.Semigroup.Semigroup
+ Language.Symantic.Lib.Semigroup: instance (Language.Symantic.Grammar.Source.Source src, Language.Symantic.Compiling.Term.SymInj (* -> GHC.Types.Constraint) ss GHC.Base.Semigroup) => Language.Symantic.Compiling.Module.ModuleFor (* -> GHC.Types.Constraint) src ss GHC.Base.Semigroup
+ Language.Symantic.Lib.Semigroup: instance Language.Symantic.Compiling.Grammar.Gram_Term_AtomsFor (* -> GHC.Types.Constraint) src ss g GHC.Base.Semigroup
+ Language.Symantic.Lib.Semigroup: instance Language.Symantic.Typing.Module.FixityOf (* -> GHC.Types.Constraint) GHC.Base.Semigroup
+ Language.Symantic.Lib.Semigroup: instance Language.Symantic.Typing.Module.NameTyOf (* -> GHC.Types.Constraint) GHC.Base.Semigroup
+ Language.Symantic.Lib.Semigroup: instance Language.Symantic.Typing.Type.ClassInstancesFor (* -> GHC.Types.Constraint) GHC.Base.Semigroup
+ Language.Symantic.Lib.Semigroup: instance Language.Symantic.Typing.Type.TypeInstancesFor (* -> GHC.Types.Constraint) GHC.Base.Semigroup
- Language.Symantic.Lib.Foldable: t1 :: Source src => LenInj vs => KindInj (K t) => Type src (a : (Proxy t : vs)) t
+ Language.Symantic.Lib.Foldable: t1 :: Source src => LenInj vs => KindInj (K t) => Type src (a : Proxy t : vs) t
- Language.Symantic.Lib.Foldable: t2 :: Source src => LenInj vs => KindInj (K t) => Type src (a : (b : (Proxy t : vs))) t
+ Language.Symantic.Lib.Foldable: t2 :: Source src => LenInj vs => KindInj (K t) => Type src (a : b : Proxy t : vs) t
- Language.Symantic.Lib.Foldable: teFoldable_elem :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Eq a) #> (a -> t a -> Bool))
+ Language.Symantic.Lib.Foldable: teFoldable_elem :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t # Eq a #> (a -> t a -> Bool))
- Language.Symantic.Lib.Foldable: teFoldable_foldMap :: TermDef Foldable '[Proxy a, Proxy t, Proxy m] ((Foldable t # Monoid m) #> ((a -> m) -> t a -> m))
+ Language.Symantic.Lib.Foldable: teFoldable_foldMap :: TermDef Foldable '[Proxy a, Proxy t, Proxy m] (Foldable t # Monoid m #> ((a -> m) -> t a -> m))
- Language.Symantic.Lib.Foldable: teFoldable_maximum :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Ord a) #> (t a -> a))
+ Language.Symantic.Lib.Foldable: teFoldable_maximum :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t # Ord a #> (t a -> a))
- Language.Symantic.Lib.Foldable: teFoldable_minimum :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Ord a) #> (t a -> a))
+ Language.Symantic.Lib.Foldable: teFoldable_minimum :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t # Ord a #> (t a -> a))
- Language.Symantic.Lib.Foldable: teFoldable_product :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Num a) #> (t a -> a))
+ Language.Symantic.Lib.Foldable: teFoldable_product :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t # Num a #> (t a -> a))
- Language.Symantic.Lib.Foldable: teFoldable_sum :: TermDef Foldable '[Proxy a, Proxy t] ((Foldable t # Num a) #> (t a -> a))
+ Language.Symantic.Lib.Foldable: teFoldable_sum :: TermDef Foldable '[Proxy a, Proxy t] (Foldable t # Num a #> (t a -> a))
- Language.Symantic.Lib.Function: b1 :: Source src => LenInj vs => KindInj (K b) => Type src (a : (Proxy b : vs)) b
+ Language.Symantic.Lib.Function: b1 :: Source src => LenInj vs => KindInj (K b) => Type src (a : Proxy b : vs) b
- Language.Symantic.Lib.Function: c2 :: Source src => LenInj vs => KindInj (K c) => Type src (a : (b : (Proxy c : vs))) c
+ Language.Symantic.Lib.Function: c2 :: Source src => LenInj vs => KindInj (K c) => Type src (a : b : Proxy c : vs) c
- Language.Symantic.Lib.Functor: f1 :: Source src => LenInj vs => KindInj (K f) => Type src (a : (Proxy f : vs)) f
+ Language.Symantic.Lib.Functor: f1 :: Source src => LenInj vs => KindInj (K f) => Type src (a : Proxy f : vs) f
- Language.Symantic.Lib.Functor: f2 :: Source src => LenInj vs => KindInj (K f) => Type src (a : (b : (Proxy f : vs))) f
+ Language.Symantic.Lib.Functor: f2 :: Source src => LenInj vs => KindInj (K f) => Type src (a : b : Proxy f : vs) f
- Language.Symantic.Lib.Map: k1 :: Source src => LenInj vs => KindInj (K k) => Type src (a : (Proxy k : vs)) k
+ Language.Symantic.Lib.Map: k1 :: Source src => LenInj vs => KindInj (K k) => Type src (a : Proxy k : vs) k
- Language.Symantic.Lib.Map: k2 :: Source src => LenInj vs => KindInj (K k) => Type src (a : (b : (Proxy k : vs))) k
+ Language.Symantic.Lib.Map: k2 :: Source src => LenInj vs => KindInj (K k) => Type src (a : b : Proxy k : vs) k
- Language.Symantic.Lib.Monad: m1 :: Source src => LenInj vs => KindInj (K m) => Type src (a : (Proxy m : vs)) m
+ Language.Symantic.Lib.Monad: m1 :: Source src => LenInj vs => KindInj (K m) => Type src (a : Proxy m : vs) m
- Language.Symantic.Lib.Monad: m2 :: Source src => LenInj vs => KindInj (K m) => Type src (a : (b : (Proxy m : vs))) m
+ Language.Symantic.Lib.Monad: m2 :: Source src => LenInj vs => KindInj (K m) => Type src (a : b : Proxy m : vs) m
- Language.Symantic.Lib.Monad: m3 :: Source src => LenInj vs => KindInj (K m) => Type src (a : (b : (c : (Proxy m : vs)))) m
+ Language.Symantic.Lib.Monad: m3 :: Source src => LenInj vs => KindInj (K m) => Type src (a : b : c : Proxy m : vs) m
- Language.Symantic.Lib.MonoFoldable: teMonoFoldable_oall :: TermDef MonoFoldable '[Proxy o, Proxy e] ((MonoFoldable o # (e #~ Element o)) #> ((e -> Bool) -> o -> Bool))
+ Language.Symantic.Lib.MonoFoldable: teMonoFoldable_oall :: TermDef MonoFoldable '[Proxy o, Proxy e] (MonoFoldable o # e #~ Element o #> ((e -> Bool) -> o -> Bool))
- Language.Symantic.Lib.MonoFoldable: teMonoFoldable_oany :: TermDef MonoFoldable '[Proxy o, Proxy e] ((MonoFoldable o # (e #~ Element o)) #> ((e -> Bool) -> o -> Bool))
+ Language.Symantic.Lib.MonoFoldable: teMonoFoldable_oany :: TermDef MonoFoldable '[Proxy o, Proxy e] (MonoFoldable o # e #~ Element o #> ((e -> Bool) -> o -> Bool))
- Language.Symantic.Lib.MonoFoldable: teMonoFoldable_ofoldMap :: TermDef MonoFoldable '[Proxy o, Proxy e, Proxy m] ((MonoFoldable o # (Monoid m # (e #~ Element o))) #> ((e -> m) -> o -> m))
+ Language.Symantic.Lib.MonoFoldable: teMonoFoldable_ofoldMap :: TermDef MonoFoldable '[Proxy o, Proxy e, Proxy m] (MonoFoldable o # Monoid m # e #~ Element o #> ((e -> m) -> o -> m))
- Language.Symantic.Lib.MonoFoldable: teMonoFoldable_ofoldl' :: TermDef MonoFoldable '[Proxy o, Proxy e, Proxy a] ((MonoFoldable o # (e #~ Element o)) #> ((a -> e -> a) -> a -> o -> a))
+ Language.Symantic.Lib.MonoFoldable: teMonoFoldable_ofoldl' :: TermDef MonoFoldable '[Proxy o, Proxy e, Proxy a] (MonoFoldable o # e #~ Element o #> ((a -> e -> a) -> a -> o -> a))
- Language.Symantic.Lib.MonoFoldable: teMonoFoldable_ofoldr :: TermDef MonoFoldable '[Proxy o, Proxy e, Proxy a] ((MonoFoldable o # (e #~ Element o)) #> ((e -> a -> a) -> a -> o -> a))
+ Language.Symantic.Lib.MonoFoldable: teMonoFoldable_ofoldr :: TermDef MonoFoldable '[Proxy o, Proxy e, Proxy a] (MonoFoldable o # e #~ Element o #> ((e -> a -> a) -> a -> o -> a))
- Language.Symantic.Lib.MonoFoldable: teMonoFoldable_olength :: TermDef MonoFoldable '[Proxy o, Proxy e] ((MonoFoldable o # (e #~ Element o)) #> (o -> Int))
+ Language.Symantic.Lib.MonoFoldable: teMonoFoldable_olength :: TermDef MonoFoldable '[Proxy o, Proxy e] (MonoFoldable o # e #~ Element o #> (o -> Int))
- Language.Symantic.Lib.MonoFoldable: teMonoFoldable_otoList :: TermDef MonoFoldable '[Proxy o, Proxy e] ((MonoFoldable o # (e #~ Element o)) #> (o -> [Element o]))
+ Language.Symantic.Lib.MonoFoldable: teMonoFoldable_otoList :: TermDef MonoFoldable '[Proxy o, Proxy e] (MonoFoldable o # e #~ Element o #> (o -> [Element o]))
- Language.Symantic.Lib.MonoFunctor: e1 :: Source src => LenInj vs => KindInj (K e) => Type src (a : (Proxy e : vs)) e
+ Language.Symantic.Lib.MonoFunctor: e1 :: Source src => LenInj vs => KindInj (K e) => Type src (a : Proxy e : vs) e
- Language.Symantic.Lib.MonoFunctor: teMonoFunctor_omap :: TermDef MonoFunctor '[Proxy o, Proxy e] ((MonoFunctor o # (e #~ Element o)) #> ((e -> e) -> o -> o))
+ Language.Symantic.Lib.MonoFunctor: teMonoFunctor_omap :: TermDef MonoFunctor '[Proxy o, Proxy e] (MonoFunctor o # e #~ Element o #> ((e -> e) -> o -> o))
- Language.Symantic.Lib.NonNull: teNonNull_head :: TermDef NonNull '[Proxy o, Proxy e] ((MonoFoldable o # (e #~ Element o)) #> (NonNull o -> e))
+ Language.Symantic.Lib.NonNull: teNonNull_head :: TermDef NonNull '[Proxy o, Proxy e] (MonoFoldable o # e #~ Element o #> (NonNull o -> e))
- Language.Symantic.Lib.NonNull: teNonNull_last :: TermDef NonNull '[Proxy o, Proxy e] ((MonoFoldable o # (e #~ Element o)) #> (NonNull o -> e))
+ Language.Symantic.Lib.NonNull: teNonNull_last :: TermDef NonNull '[Proxy o, Proxy e] (MonoFoldable o # e #~ Element o #> (NonNull o -> e))
- Language.Symantic.Lib.NonNull: teNonNull_ncons :: TermDef NonNull '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (e -> s -> NonNull s))
+ Language.Symantic.Lib.NonNull: teNonNull_ncons :: TermDef NonNull '[Proxy s, Proxy e] (SemiSequence s # e #~ Element s #> (e -> s -> NonNull s))
- Language.Symantic.Lib.NonNull: teNonNull_nfilter :: TermDef NonNull '[Proxy s, Proxy e] ((IsSequence s # (e #~ Element s)) #> ((e -> Bool) -> NonNull s -> s))
+ Language.Symantic.Lib.NonNull: teNonNull_nfilter :: TermDef NonNull '[Proxy s, Proxy e] (IsSequence s # e #~ Element s #> ((e -> Bool) -> NonNull s -> s))
- Language.Symantic.Lib.NonNull: teNonNull_nuncons :: TermDef NonNull '[Proxy s, Proxy e] ((IsSequence s # (e #~ Element s)) #> (NonNull s -> (e, Maybe (NonNull s))))
+ Language.Symantic.Lib.NonNull: teNonNull_nuncons :: TermDef NonNull '[Proxy s, Proxy e] (IsSequence s # e #~ Element s #> (NonNull s -> (e, Maybe (NonNull s))))
- Language.Symantic.Lib.Semigroup: teSemigroup_stimes :: TermDef Semigroup '[Proxy a, Proxy b] ((Semigroup a # Integral b) #> (b -> a -> a))
+ Language.Symantic.Lib.Semigroup: teSemigroup_stimes :: TermDef Semigroup '[Proxy a, Proxy b] (Semigroup a # Integral b #> (b -> a -> a))
- Language.Symantic.Lib.Sequences: teIsSequence_filter :: TermDef IsSequence '[Proxy s, Proxy e] ((IsSequence s # (e #~ Element s)) #> ((e -> Bool) -> s -> s))
+ Language.Symantic.Lib.Sequences: teIsSequence_filter :: TermDef IsSequence '[Proxy s, Proxy e] (IsSequence s # e #~ Element s #> ((e -> Bool) -> s -> s))
- Language.Symantic.Lib.Sequences: teSemiSequence_cons :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (e -> s -> s))
+ Language.Symantic.Lib.Sequences: teSemiSequence_cons :: TermDef SemiSequence '[Proxy s, Proxy e] (SemiSequence s # e #~ Element s #> (e -> s -> s))
- Language.Symantic.Lib.Sequences: teSemiSequence_intersperse :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (e -> s -> s))
+ Language.Symantic.Lib.Sequences: teSemiSequence_intersperse :: TermDef SemiSequence '[Proxy s, Proxy e] (SemiSequence s # e #~ Element s #> (e -> s -> s))
- Language.Symantic.Lib.Sequences: teSemiSequence_reverse :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (s -> s))
+ Language.Symantic.Lib.Sequences: teSemiSequence_reverse :: TermDef SemiSequence '[Proxy s, Proxy e] (SemiSequence s # e #~ Element s #> (s -> s))
- Language.Symantic.Lib.Sequences: teSemiSequence_snoc :: TermDef SemiSequence '[Proxy s, Proxy e] ((SemiSequence s # (e #~ Element s)) #> (s -> e -> s))
+ Language.Symantic.Lib.Sequences: teSemiSequence_snoc :: TermDef SemiSequence '[Proxy s, Proxy e] (SemiSequence s # e #~ Element s #> (s -> e -> s))
- Language.Symantic.Lib.Traversable: teTraversable_traverse :: TermDef Traversable '[Proxy a, Proxy b, Proxy f, Proxy t] ((Traversable t # Applicative f) #> ((a -> f b) -> t a -> f (t b)))
+ Language.Symantic.Lib.Traversable: teTraversable_traverse :: TermDef Traversable '[Proxy a, Proxy b, Proxy f, Proxy t] (Traversable t # Applicative f #> ((a -> f b) -> t a -> f (t b)))
Files
- Language/Symantic/Lib/Char.hs +9/−0
- Language/Symantic/Lib/IO.hs +9/−0
- Language/Symantic/Lib/If.hs +2/−0
- Language/Symantic/Lib/Int.hs +7/−0
- Language/Symantic/Lib/Integer.hs +8/−0
- Language/Symantic/Lib/Map.hs +10/−0
- Language/Symantic/Lib/MonoFoldable.hs +4/−0
- Language/Symantic/Lib/MonoFunctor.hs +2/−0
- Language/Symantic/Lib/Ratio.hs +6/−0
- Language/Symantic/Lib/Semigroup.hs +2/−0
- Language/Symantic/Lib/Text.hs +6/−0
- Language/Symantic/Lib/Unit.hs +10/−0
- stack.yaml +2/−4
- symantic-lib.cabal +3/−2
Language/Symantic/Lib/Char.hs view
@@ -3,6 +3,15 @@ -- | Symantic for 'Char'. module Language.Symantic.Lib.Char where +import Data.Char (Char)+import Data.Eq (Eq)+import Data.Function (($), (.))+import Data.Functor ((<$>), (<$))+import Data.Maybe (Maybe(..))+import Data.Ord (Ord)+import Data.String (String)+import Prelude (Bounded, Enum)+import Text.Show (Show(..)) import qualified Data.Char as Char import qualified Data.Text as Text
Language/Symantic/Lib/IO.hs view
@@ -3,6 +3,15 @@ -- | Symantic for 'IO'. module Language.Symantic.Lib.IO where +import Control.Applicative (Applicative)+import Control.Monad (Monad)+import Data.Eq (Eq)+import Data.Function (($))+import Data.Functor (Functor)+import Data.Maybe (Maybe(..))+import Data.Ord (Ord)+import Prelude (Enum)+import System.IO (IO, FilePath) import qualified Data.MonoTraversable as MT import qualified System.IO as IO
Language/Symantic/Lib/If.hs view
@@ -3,6 +3,8 @@ -- | Symantic for @If@. module Language.Symantic.Lib.If where +import Data.Bool+import Data.Function (($)) import qualified Data.Text as Text import Language.Symantic
Language/Symantic/Lib/Int.hs view
@@ -3,6 +3,13 @@ -- | Symantic for 'Int'. module Language.Symantic.Lib.Int where +import Data.Eq (Eq)+import Data.Function (($), (.))+import Data.Int (Int)+import Data.Maybe (Maybe(..))+import Data.Ord (Ord)+import Prelude (Bounded, Enum, Integral, Num, Real)+import Text.Show (Show(..)) import qualified Data.Text as Text import Language.Symantic
Language/Symantic/Lib/Integer.hs view
@@ -3,6 +3,14 @@ -- | Symantic for 'Integer'. module Language.Symantic.Lib.Integer where +import Data.Eq (Eq)+import Data.Function (($), (.))+import Data.Functor ((<$>))+import Data.Maybe (Maybe(..))+import Data.Ord (Ord)+import Prelude (Enum, Integer, Integral, Num, Real)+import Text.Show (Show(..))+import Text.Read (read) import qualified Data.Text as Text import Language.Symantic
Language/Symantic/Lib/Map.hs view
@@ -3,8 +3,18 @@ -- | Symantic for 'Map'. module Language.Symantic.Lib.Map where +import Data.Bool+import Data.Eq (Eq)+import Data.Foldable (Foldable)+import Data.Function (($))+import Data.Functor (Functor) import Data.Map.Strict (Map)+import Data.Maybe (Maybe(..)) import Data.MonoTraversable (MonoFunctor)+import Data.Monoid (Monoid)+import Data.Ord (Ord)+import Data.Traversable (Traversable)+import Text.Show (Show) import qualified Data.Map.Strict as Map import Language.Symantic
Language/Symantic/Lib/MonoFoldable.hs view
@@ -3,6 +3,10 @@ -- | Symantic for 'MonoFoldable'. module Language.Symantic.Lib.MonoFoldable where +import Data.Bool+import Data.Function (($), (.))+import Data.Monoid (Monoid)+import Data.Int (Int) import Data.MonoTraversable (MonoFoldable) import qualified Data.MonoTraversable as MT
Language/Symantic/Lib/MonoFunctor.hs view
@@ -3,6 +3,8 @@ -- | Symantic for 'MonoFunctor'. module Language.Symantic.Lib.MonoFunctor where +import Data.Function (($))+import Data.Maybe (Maybe(..)) import Data.MonoTraversable (MonoFunctor) import qualified Data.MonoTraversable as MT
Language/Symantic/Lib/Ratio.hs view
@@ -3,7 +3,13 @@ -- | Symantic for 'Ratio'. module Language.Symantic.Lib.Ratio where +import Data.Eq (Eq)+import Data.Function (($))+import Data.Maybe (Maybe(..))+import Data.Ord (Ord) import Data.Ratio (Ratio)+import Prelude (Fractional, Integral, Num, Real, RealFrac)+import Text.Show (Show) import qualified Data.Ratio as Ratio import Language.Symantic
Language/Symantic/Lib/Semigroup.hs view
@@ -3,7 +3,9 @@ -- | Symantic for 'Semigroup'. module Language.Symantic.Lib.Semigroup where +import Data.Function (($)) import Data.Semigroup (Semigroup)+import Prelude (Integral) import qualified Data.Semigroup as Semigroup import Language.Symantic
Language/Symantic/Lib/Text.hs view
@@ -3,7 +3,13 @@ -- | Symantic for 'Text'. module Language.Symantic.Lib.Text where +import Data.Eq (Eq)+import Data.Function (($), (.))+import Data.Maybe (Maybe(..))+import Data.Monoid (Monoid)+import Data.Ord (Ord) import Data.Text (Text)+import Text.Show (Show(..)) import qualified Data.MonoTraversable as MT import qualified Data.Sequences as Seqs import qualified Data.Text as Text
Language/Symantic/Lib/Unit.hs view
@@ -3,6 +3,16 @@ -- | Symantic for '()'. module Language.Symantic.Lib.Unit where +import Control.Applicative ((<*))+import Data.Eq (Eq)+import Data.Function (($))+import Data.Functor ((<$))+import Data.Maybe (Maybe(..))+import Data.Monoid (Monoid)+import Data.Ord (Ord)+import Prelude (Bounded, Enum)+import Text.Show (Show)+ import Language.Symantic import Language.Symantic.Grammar
stack.yaml view
@@ -1,4 +1,4 @@-resolver: lts-10.5+resolver: lts-12.8 packages: - '.' - location: '../symantic'@@ -7,7 +7,5 @@ extra-dep: true - location: '../symantic-document' extra-dep: true-- location: '../monad-classes'- extra-dep: true extra-deps:-- peano-0.1.0.1+- monad-classes-0.3.2.2
symantic-lib.cabal view
@@ -2,7 +2,7 @@ -- PVP: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change-version: 0.0.3.20180213+version: 0.0.4.20180831 category: Language synopsis: Symantics for common types. description: Symantics for common types,@@ -21,7 +21,7 @@ extra-source-files: stack.yaml extra-tmp-files:-tested-with: GHC==8.2.2+tested-with: GHC==8.4.3 Source-Repository head location: git://git.autogeree.net/symantic@@ -74,6 +74,7 @@ LambdaCase MultiParamTypeClasses NamedFieldPuns+ NoImplicitPrelude OverloadedStrings Rank2Types ScopedTypeVariables