mono-traversable 0.9.3 → 0.10.0
raw patch · 3 files changed
+14/−7 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
- Data.Containers: instance (Eq element, Hashable element) => IsSet (HashSet element)
- Data.Containers: instance (Eq element, Hashable element) => SetContainer (HashSet element)
- Data.Containers: instance (Eq key, Hashable key) => IsMap (HashMap key value)
- Data.Containers: instance (Eq key, Hashable key) => PolyMap (HashMap key)
- Data.Containers: instance (Eq key, Hashable key) => SetContainer (HashMap key value)
- Data.Containers: instance (Hashable k, Eq k) => HasKeysSet (HashMap k v)
- Data.Containers: instance BiPolyMap HashMap
- Data.Containers: instance BiPolyMap Map
- Data.Containers: instance Eq key => IsMap [(key, value)]
- Data.Containers: instance Eq key => SetContainer [(key, value)]
- Data.Containers: instance HasKeysSet (IntMap v)
- Data.Containers: instance IsMap (IntMap value)
- Data.Containers: instance IsSet IntSet
- Data.Containers: instance MonoZip ByteString
- Data.Containers: instance MonoZip Text
- Data.Containers: instance Ord element => IsSet (Set element)
- Data.Containers: instance Ord element => SetContainer (Set element)
- Data.Containers: instance Ord k => HasKeysSet (Map k v)
- Data.Containers: instance Ord k => SetContainer (Map k v)
- Data.Containers: instance Ord key => IsMap (Map key value)
- Data.Containers: instance Ord key => PolyMap (Map key)
- Data.Containers: instance PolyMap IntMap
- Data.Containers: instance SetContainer (IntMap value)
- Data.Containers: instance SetContainer IntSet
- Data.MinLen: instance (Data nat, Data mono) => Data (MinLen nat mono)
- Data.MinLen: instance Eq mono => Eq (MinLen nat mono)
- Data.MinLen: instance Functor (MinLen nat)
- Data.MinLen: instance GrowingAppend mono => GrowingAppend (MinLen nat mono)
- Data.MinLen: instance GrowingAppend mono => Semigroup (MinLen nat mono)
- Data.MinLen: instance IsSequence mono => MonoComonad (MinLen (Succ Zero) mono)
- Data.MinLen: instance MonoFoldable mono => MonoFoldable (MinLen nat mono)
- Data.MinLen: instance MonoFoldableEq mono => MonoFoldableEq (MinLen nat mono)
- Data.MinLen: instance MonoFoldableOrd mono => MonoFoldableOrd (MinLen nat mono)
- Data.MinLen: instance MonoFunctor mono => MonoFunctor (MinLen nat mono)
- Data.MinLen: instance MonoPointed mono => MonoPointed (MinLen (Succ Zero) mono)
- Data.MinLen: instance MonoPointed mono => MonoPointed (MinLen Zero mono)
- Data.MinLen: instance MonoTraversable mono => MonoTraversable (MinLen nat mono)
- Data.MinLen: instance Ord mono => Ord (MinLen nat mono)
- Data.MinLen: instance Read mono => Read (MinLen nat mono)
- Data.MinLen: instance SemiSequence seq => SemiSequence (MinLen nat seq)
- Data.MinLen: instance Show mono => Show (MinLen nat mono)
- Data.MinLen: instance TypeNat Zero
- Data.MinLen: instance TypeNat nat => TypeNat (Succ nat)
- Data.MinLen: instance Typeable MinLen
- Data.MonoTraversable: instance (Applicative f, Applicative g) => MonoPointed (Compose f g a)
- Data.MonoTraversable: instance (Applicative f, Applicative g) => MonoPointed (Product f g a)
- Data.MonoTraversable: instance (Comonad f, Comonad g) => MonoComonad (Coproduct f g a)
- Data.MonoTraversable: instance (Comonad w, Monoid m) => MonoComonad (TracedT m w a)
- Data.MonoTraversable: instance (Eq a, Foldable f) => MonoFoldableEq (ErrorT e f a)
- Data.MonoTraversable: instance (Eq a, Foldable f) => MonoFoldableEq (IdentityT f a)
- Data.MonoTraversable: instance (Eq a, Foldable f) => MonoFoldableEq (ListT f a)
- Data.MonoTraversable: instance (Eq a, Foldable f) => MonoFoldableEq (MaybeT f a)
- Data.MonoTraversable: instance (Eq a, Foldable f) => MonoFoldableEq (WriterT w f a)
- Data.MonoTraversable: instance (Eq a, Foldable f, Foldable g) => MonoFoldableEq (Compose f g a)
- Data.MonoTraversable: instance (Eq a, Foldable f, Foldable g) => MonoFoldableEq (Product f g a)
- Data.MonoTraversable: instance (Eq a, Ord a) => MonoFoldableEq (Set a)
- Data.MonoTraversable: instance (Eq a, Storable a) => MonoFoldableEq (Vector a)
- Data.MonoTraversable: instance (Eq a, Unbox a) => MonoFoldableEq (Vector a)
- Data.MonoTraversable: instance (Foldable f, Foldable g) => MonoFoldable (Compose f g a)
- Data.MonoTraversable: instance (Foldable f, Foldable g) => MonoFoldable (Product f g a)
- Data.MonoTraversable: instance (Functor f, Functor g) => MonoFunctor (Compose f g a)
- Data.MonoTraversable: instance (Functor f, Functor g) => MonoFunctor (Coproduct f g a)
- Data.MonoTraversable: instance (Functor f, Functor g) => MonoFunctor (Product f g a)
- Data.MonoTraversable: instance (MonoFoldable (t a), Monoid (t a)) => MonoFoldableMonoid (t a)
- Data.MonoTraversable: instance (Monoid w, Applicative m) => MonoPointed (RWST r w s m a)
- Data.MonoTraversable: instance (Monoid w, Applicative m) => MonoPointed (WriterT w m a)
- Data.MonoTraversable: instance (Ord a, Foldable f) => MonoFoldableOrd (ErrorT e f a)
- Data.MonoTraversable: instance (Ord a, Foldable f) => MonoFoldableOrd (IdentityT f a)
- Data.MonoTraversable: instance (Ord a, Foldable f) => MonoFoldableOrd (ListT f a)
- Data.MonoTraversable: instance (Ord a, Foldable f) => MonoFoldableOrd (MaybeT f a)
- Data.MonoTraversable: instance (Ord a, Foldable f) => MonoFoldableOrd (WriterT w f a)
- Data.MonoTraversable: instance (Ord a, Foldable f, Foldable g) => MonoFoldableOrd (Compose f g a)
- Data.MonoTraversable: instance (Ord a, Foldable f, Foldable g) => MonoFoldableOrd (Product f g a)
- Data.MonoTraversable: instance (Ord a, Storable a) => MonoFoldableOrd (Vector a)
- Data.MonoTraversable: instance (Traversable f, Traversable g) => MonoTraversable (Compose f g a)
- Data.MonoTraversable: instance (Traversable f, Traversable g) => MonoTraversable (Product f g a)
- Data.MonoTraversable: instance (Unbox a, Ord a) => MonoFoldableOrd (Vector a)
- Data.MonoTraversable: instance Applicative f => MonoPointed (MaybeT f a)
- Data.MonoTraversable: instance Applicative f => MonoPointed (Static f a b)
- Data.MonoTraversable: instance Applicative f => MonoPointed (WrappedApplicative f a)
- Data.MonoTraversable: instance Applicative m => MonoPointed (ErrorT e m a)
- Data.MonoTraversable: instance Applicative m => MonoPointed (IdentityT m a)
- Data.MonoTraversable: instance Applicative m => MonoPointed (ListT m a)
- Data.MonoTraversable: instance Applicative m => MonoPointed (ReaderT r m a)
- Data.MonoTraversable: instance Applicative m => MonoPointed (StateT s m a)
- Data.MonoTraversable: instance Arrow a => MonoFunctor (WrappedArrow a b c)
- Data.MonoTraversable: instance Arrow a => MonoPointed (WrappedArrow a b c)
- Data.MonoTraversable: instance Comonad w => MonoComonad (EnvT e w a)
- Data.MonoTraversable: instance Comonad w => MonoComonad (IdentityT w a)
- Data.MonoTraversable: instance Comonad w => MonoComonad (StoreT s w a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (Const m a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (DList a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (HashSet a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (Identity a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (IntMap a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (Maybe a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (NonEmpty a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (Option a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (Seq a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (Tree a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (Vector a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (ViewL a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq (ViewR a)
- Data.MonoTraversable: instance Eq a => MonoFoldableEq [a]
- Data.MonoTraversable: instance Eq b => MonoFoldableEq (Either a b)
- Data.MonoTraversable: instance Eq b => MonoFoldableEq (a, b)
- Data.MonoTraversable: instance Eq v => MonoFoldableEq (HashMap k v)
- Data.MonoTraversable: instance Eq v => MonoFoldableEq (Map k v)
- Data.MonoTraversable: instance Foldable f => MonoFoldable (ErrorT e f a)
- Data.MonoTraversable: instance Foldable f => MonoFoldable (IdentityT f a)
- Data.MonoTraversable: instance Foldable f => MonoFoldable (ListT f a)
- Data.MonoTraversable: instance Foldable f => MonoFoldable (MaybeT f a)
- Data.MonoTraversable: instance Foldable f => MonoFoldable (WriterT w f a)
- Data.MonoTraversable: instance Functor f => MonoFunctor (MaybeApply f a)
- Data.MonoTraversable: instance Functor f => MonoFunctor (Static f a b)
- Data.MonoTraversable: instance Functor f => MonoFunctor (WrappedApplicative f a)
- Data.MonoTraversable: instance Functor m => MonoFunctor (ContT r m a)
- Data.MonoTraversable: instance Functor m => MonoFunctor (ErrorT e m a)
- Data.MonoTraversable: instance Functor m => MonoFunctor (IdentityT m a)
- Data.MonoTraversable: instance Functor m => MonoFunctor (ListT m a)
- Data.MonoTraversable: instance Functor m => MonoFunctor (MaybeT m a)
- Data.MonoTraversable: instance Functor m => MonoFunctor (RWST r w s m a)
- Data.MonoTraversable: instance Functor m => MonoFunctor (ReaderT r m a)
- Data.MonoTraversable: instance Functor m => MonoFunctor (StateT s m a)
- Data.MonoTraversable: instance Functor m => MonoFunctor (WriterT w m a)
- Data.MonoTraversable: instance Functor w => MonoFunctor (EnvT e w a)
- Data.MonoTraversable: instance Functor w => MonoFunctor (StoreT s w a)
- Data.MonoTraversable: instance Functor w => MonoFunctor (TracedT m w a)
- Data.MonoTraversable: instance Hashable a => MonoPointed (HashSet a)
- Data.MonoTraversable: instance Monad m => MonoFunctor (WrappedMonad m a)
- Data.MonoTraversable: instance Monad m => MonoPointed (WrappedMonad m a)
- Data.MonoTraversable: instance MonoComonad (Arg a b)
- Data.MonoTraversable: instance MonoComonad (Identity a)
- Data.MonoTraversable: instance MonoComonad (NonEmpty a)
- Data.MonoTraversable: instance MonoComonad (Tree a)
- Data.MonoTraversable: instance MonoComonad (ViewL a)
- Data.MonoTraversable: instance MonoComonad (ViewR a)
- Data.MonoTraversable: instance MonoComonad (e, a)
- Data.MonoTraversable: instance MonoFoldable (Const m a)
- Data.MonoTraversable: instance MonoFoldable (DList a)
- Data.MonoTraversable: instance MonoFoldable (Either a b)
- Data.MonoTraversable: instance MonoFoldable (HashMap k v)
- Data.MonoTraversable: instance MonoFoldable (HashSet e)
- Data.MonoTraversable: instance MonoFoldable (Identity a)
- Data.MonoTraversable: instance MonoFoldable (IntMap a)
- Data.MonoTraversable: instance MonoFoldable (Map k v)
- Data.MonoTraversable: instance MonoFoldable (Maybe a)
- Data.MonoTraversable: instance MonoFoldable (NonEmpty a)
- Data.MonoTraversable: instance MonoFoldable (Option a)
- Data.MonoTraversable: instance MonoFoldable (Seq a)
- Data.MonoTraversable: instance MonoFoldable (Set e)
- Data.MonoTraversable: instance MonoFoldable (Tree a)
- Data.MonoTraversable: instance MonoFoldable (Vector a)
- Data.MonoTraversable: instance MonoFoldable (ViewL a)
- Data.MonoTraversable: instance MonoFoldable (ViewR a)
- Data.MonoTraversable: instance MonoFoldable (a, b)
- Data.MonoTraversable: instance MonoFoldable ByteString
- Data.MonoTraversable: instance MonoFoldable IntSet
- Data.MonoTraversable: instance MonoFoldable Text
- Data.MonoTraversable: instance MonoFoldable [a]
- Data.MonoTraversable: instance MonoFoldableEq ByteString
- Data.MonoTraversable: instance MonoFoldableEq IntSet
- Data.MonoTraversable: instance MonoFoldableEq Text
- Data.MonoTraversable: instance MonoFoldableMonoid ByteString
- Data.MonoTraversable: instance MonoFoldableMonoid Text
- Data.MonoTraversable: instance MonoFoldableOrd ByteString
- Data.MonoTraversable: instance MonoFoldableOrd IntSet
- Data.MonoTraversable: instance MonoFoldableOrd Text
- Data.MonoTraversable: instance MonoFunctor (Arg a b)
- Data.MonoTraversable: instance MonoFunctor (Cokleisli w a b)
- Data.MonoTraversable: instance MonoFunctor (Const m a)
- Data.MonoTraversable: instance MonoFunctor (DList a)
- Data.MonoTraversable: instance MonoFunctor (Either a b)
- Data.MonoTraversable: instance MonoFunctor (HashMap k v)
- Data.MonoTraversable: instance MonoFunctor (IO a)
- Data.MonoTraversable: instance MonoFunctor (Identity a)
- Data.MonoTraversable: instance MonoFunctor (IntMap a)
- Data.MonoTraversable: instance MonoFunctor (Map k v)
- Data.MonoTraversable: instance MonoFunctor (Maybe a)
- Data.MonoTraversable: instance MonoFunctor (NonEmpty a)
- Data.MonoTraversable: instance MonoFunctor (Option a)
- Data.MonoTraversable: instance MonoFunctor (Seq a)
- Data.MonoTraversable: instance MonoFunctor (Tree a)
- Data.MonoTraversable: instance MonoFunctor (Vector a)
- Data.MonoTraversable: instance MonoFunctor (ViewL a)
- Data.MonoTraversable: instance MonoFunctor (ViewR a)
- Data.MonoTraversable: instance MonoFunctor (ZipList a)
- Data.MonoTraversable: instance MonoFunctor (a, b)
- Data.MonoTraversable: instance MonoFunctor (r -> a)
- Data.MonoTraversable: instance MonoFunctor ByteString
- Data.MonoTraversable: instance MonoFunctor Text
- Data.MonoTraversable: instance MonoFunctor [a]
- Data.MonoTraversable: instance MonoPointed (Cokleisli w a b)
- Data.MonoTraversable: instance MonoPointed (ContT r m a)
- Data.MonoTraversable: instance MonoPointed (DList a)
- Data.MonoTraversable: instance MonoPointed (Either a b)
- Data.MonoTraversable: instance MonoPointed (IO a)
- Data.MonoTraversable: instance MonoPointed (Identity a)
- Data.MonoTraversable: instance MonoPointed (Maybe a)
- Data.MonoTraversable: instance MonoPointed (MaybeApply f a)
- Data.MonoTraversable: instance MonoPointed (NonEmpty a)
- Data.MonoTraversable: instance MonoPointed (Option a)
- Data.MonoTraversable: instance MonoPointed (Seq a)
- Data.MonoTraversable: instance MonoPointed (Set a)
- Data.MonoTraversable: instance MonoPointed (Tree a)
- Data.MonoTraversable: instance MonoPointed (Vector a)
- Data.MonoTraversable: instance MonoPointed (ViewL a)
- Data.MonoTraversable: instance MonoPointed (ViewR a)
- Data.MonoTraversable: instance MonoPointed (ZipList a)
- Data.MonoTraversable: instance MonoPointed (r -> a)
- Data.MonoTraversable: instance MonoPointed ByteString
- Data.MonoTraversable: instance MonoPointed IntSet
- Data.MonoTraversable: instance MonoPointed Text
- Data.MonoTraversable: instance MonoPointed [a]
- Data.MonoTraversable: instance MonoTraversable (Const m a)
- Data.MonoTraversable: instance MonoTraversable (DList a)
- Data.MonoTraversable: instance MonoTraversable (Either a b)
- Data.MonoTraversable: instance MonoTraversable (HashMap k v)
- Data.MonoTraversable: instance MonoTraversable (Identity a)
- Data.MonoTraversable: instance MonoTraversable (IntMap a)
- Data.MonoTraversable: instance MonoTraversable (Map k v)
- Data.MonoTraversable: instance MonoTraversable (Maybe a)
- Data.MonoTraversable: instance MonoTraversable (NonEmpty a)
- Data.MonoTraversable: instance MonoTraversable (Option a)
- Data.MonoTraversable: instance MonoTraversable (Seq a)
- Data.MonoTraversable: instance MonoTraversable (Tree a)
- Data.MonoTraversable: instance MonoTraversable (Vector a)
- Data.MonoTraversable: instance MonoTraversable (ViewL a)
- Data.MonoTraversable: instance MonoTraversable (ViewR a)
- Data.MonoTraversable: instance MonoTraversable (a, b)
- Data.MonoTraversable: instance MonoTraversable ByteString
- Data.MonoTraversable: instance MonoTraversable Text
- Data.MonoTraversable: instance MonoTraversable [a]
- Data.MonoTraversable: instance Monoid a => MonoPointed (a, b)
- Data.MonoTraversable: instance Monoid m => MonoComonad (m -> a)
- Data.MonoTraversable: instance Monoid m => MonoPointed (Const m a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (Const m a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (DList a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (Identity a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (IntMap a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (Maybe a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (NonEmpty a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (Option a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (Seq a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (Tree a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (Vector a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (ViewL a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd (ViewR a)
- Data.MonoTraversable: instance Ord a => MonoFoldableOrd [a]
- Data.MonoTraversable: instance Ord b => MonoFoldableOrd (Either a b)
- Data.MonoTraversable: instance Ord b => MonoFoldableOrd (a, b)
- Data.MonoTraversable: instance Ord e => MonoFoldableOrd (HashSet e)
- Data.MonoTraversable: instance Ord e => MonoFoldableOrd (Set e)
- Data.MonoTraversable: instance Ord v => MonoFoldableOrd (HashMap k v)
- Data.MonoTraversable: instance Ord v => MonoFoldableOrd (Map k v)
- Data.MonoTraversable: instance Storable a => MonoFoldable (Vector a)
- Data.MonoTraversable: instance Storable a => MonoFunctor (Vector a)
- Data.MonoTraversable: instance Storable a => MonoPointed (Vector a)
- Data.MonoTraversable: instance Storable a => MonoTraversable (Vector a)
- Data.MonoTraversable: instance Traversable f => MonoTraversable (ErrorT e f a)
- Data.MonoTraversable: instance Traversable f => MonoTraversable (IdentityT f a)
- Data.MonoTraversable: instance Traversable f => MonoTraversable (ListT f a)
- Data.MonoTraversable: instance Traversable f => MonoTraversable (MaybeT f a)
- Data.MonoTraversable: instance Traversable f => MonoTraversable (WriterT w f a)
- Data.MonoTraversable: instance Unbox a => MonoFoldable (Vector a)
- Data.MonoTraversable: instance Unbox a => MonoFunctor (Vector a)
- Data.MonoTraversable: instance Unbox a => MonoPointed (Vector a)
- Data.MonoTraversable: instance Unbox a => MonoTraversable (Vector a)
- Data.NonNull: instance Exception NullError
- Data.NonNull: instance Show NullError
- Data.NonNull: instance Typeable NullError
- Data.Sequences: instance (Eq a, Storable a) => EqSequence (Vector a)
- Data.Sequences: instance (Eq a, Unbox a) => EqSequence (Vector a)
- Data.Sequences: instance (Ord a, Storable a) => OrdSequence (Vector a)
- Data.Sequences: instance (Ord a, Unbox a) => OrdSequence (Vector a)
- Data.Sequences: instance Eq a => EqSequence (Seq a)
- Data.Sequences: instance Eq a => EqSequence (Vector a)
- Data.Sequences: instance Eq a => EqSequence [a]
- Data.Sequences: instance EqSequence ByteString
- Data.Sequences: instance EqSequence Text
- Data.Sequences: instance IsSequence (DList a)
- Data.Sequences: instance IsSequence (Seq a)
- Data.Sequences: instance IsSequence (Vector a)
- Data.Sequences: instance IsSequence ByteString
- Data.Sequences: instance IsSequence Text
- Data.Sequences: instance IsSequence [a]
- Data.Sequences: instance Ord a => OrdSequence (Seq a)
- Data.Sequences: instance Ord a => OrdSequence (Vector a)
- Data.Sequences: instance Ord a => OrdSequence [a]
- Data.Sequences: instance OrdSequence ByteString
- Data.Sequences: instance OrdSequence Text
- Data.Sequences: instance SemiSequence (DList a)
- Data.Sequences: instance SemiSequence (NonEmpty a)
- Data.Sequences: instance SemiSequence (Seq a)
- Data.Sequences: instance SemiSequence (Vector a)
- Data.Sequences: instance SemiSequence ByteString
- Data.Sequences: instance SemiSequence Text
- Data.Sequences: instance SemiSequence [a]
- Data.Sequences: instance Storable a => IsSequence (Vector a)
- Data.Sequences: instance Storable a => SemiSequence (Vector a)
- Data.Sequences: instance Textual Text
- Data.Sequences: instance Unbox a => IsSequence (Vector a)
- Data.Sequences: instance Unbox a => SemiSequence (Vector a)
- Data.Sequences: instance c ~ Char => Textual [c]
+ Data.Containers: instance (Data.Hashable.Class.Hashable k, GHC.Classes.Eq k) => Data.Containers.HasKeysSet (Data.HashMap.Base.HashMap k v)
+ Data.Containers: instance (GHC.Classes.Eq element, Data.Hashable.Class.Hashable element) => Data.Containers.IsSet (Data.HashSet.HashSet element)
+ Data.Containers: instance (GHC.Classes.Eq element, Data.Hashable.Class.Hashable element) => Data.Containers.SetContainer (Data.HashSet.HashSet element)
+ Data.Containers: instance (GHC.Classes.Eq key, Data.Hashable.Class.Hashable key) => Data.Containers.IsMap (Data.HashMap.Base.HashMap key value)
+ Data.Containers: instance (GHC.Classes.Eq key, Data.Hashable.Class.Hashable key) => Data.Containers.PolyMap (Data.HashMap.Base.HashMap key)
+ Data.Containers: instance (GHC.Classes.Eq key, Data.Hashable.Class.Hashable key) => Data.Containers.SetContainer (Data.HashMap.Base.HashMap key value)
+ Data.Containers: instance Data.Containers.BiPolyMap Data.HashMap.Base.HashMap
+ Data.Containers: instance Data.Containers.BiPolyMap Data.Map.Base.Map
+ Data.Containers: instance Data.Containers.HasKeysSet (Data.IntMap.Base.IntMap v)
+ Data.Containers: instance Data.Containers.IsMap (Data.IntMap.Base.IntMap value)
+ Data.Containers: instance Data.Containers.IsSet Data.IntSet.Base.IntSet
+ Data.Containers: instance Data.Containers.MonoZip Data.ByteString.Internal.ByteString
+ Data.Containers: instance Data.Containers.MonoZip Data.ByteString.Lazy.Internal.ByteString
+ Data.Containers: instance Data.Containers.MonoZip Data.Text.Internal.Lazy.Text
+ Data.Containers: instance Data.Containers.MonoZip Data.Text.Internal.Text
+ Data.Containers: instance Data.Containers.PolyMap Data.IntMap.Base.IntMap
+ Data.Containers: instance Data.Containers.SetContainer (Data.IntMap.Base.IntMap value)
+ Data.Containers: instance Data.Containers.SetContainer Data.IntSet.Base.IntSet
+ Data.Containers: instance GHC.Classes.Eq key => Data.Containers.IsMap [(key, value)]
+ Data.Containers: instance GHC.Classes.Eq key => Data.Containers.SetContainer [(key, value)]
+ Data.Containers: instance GHC.Classes.Ord element => Data.Containers.IsSet (Data.Set.Base.Set element)
+ Data.Containers: instance GHC.Classes.Ord element => Data.Containers.SetContainer (Data.Set.Base.Set element)
+ Data.Containers: instance GHC.Classes.Ord k => Data.Containers.HasKeysSet (Data.Map.Base.Map k v)
+ Data.Containers: instance GHC.Classes.Ord k => Data.Containers.SetContainer (Data.Map.Base.Map k v)
+ Data.Containers: instance GHC.Classes.Ord key => Data.Containers.IsMap (Data.Map.Base.Map key value)
+ Data.Containers: instance GHC.Classes.Ord key => Data.Containers.PolyMap (Data.Map.Base.Map key)
+ Data.MinLen: instance (Data.Data.Data nat, Data.Data.Data mono) => Data.Data.Data (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance Data.GrowingAppend.GrowingAppend mono => Data.GrowingAppend.GrowingAppend (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance Data.GrowingAppend.GrowingAppend mono => Data.Semigroup.Semigroup (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance Data.MinLen.TypeNat Data.MinLen.Zero
+ Data.MinLen: instance Data.MinLen.TypeNat nat => Data.MinLen.TypeNat (Data.MinLen.Succ nat)
+ Data.MinLen: instance Data.MonoTraversable.MonoFoldable mono => Data.MonoTraversable.MonoFoldable (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance Data.MonoTraversable.MonoFoldableEq mono => Data.MonoTraversable.MonoFoldableEq (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance Data.MonoTraversable.MonoFoldableOrd mono => Data.MonoTraversable.MonoFoldableOrd (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance Data.MonoTraversable.MonoFunctor mono => Data.MonoTraversable.MonoFunctor (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance Data.MonoTraversable.MonoPointed mono => Data.MonoTraversable.MonoPointed (Data.MinLen.MinLen (Data.MinLen.Succ Data.MinLen.Zero) mono)
+ Data.MinLen: instance Data.MonoTraversable.MonoPointed mono => Data.MonoTraversable.MonoPointed (Data.MinLen.MinLen Data.MinLen.Zero mono)
+ Data.MinLen: instance Data.MonoTraversable.MonoTraversable mono => Data.MonoTraversable.MonoTraversable (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance Data.Sequences.IsSequence mono => Data.MonoTraversable.MonoComonad (Data.MinLen.MinLen (Data.MinLen.Succ Data.MinLen.Zero) mono)
+ Data.MinLen: instance Data.Sequences.SemiSequence seq => Data.Sequences.SemiSequence (Data.MinLen.MinLen nat seq)
+ Data.MinLen: instance GHC.Classes.Eq mono => GHC.Classes.Eq (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance GHC.Classes.Ord mono => GHC.Classes.Ord (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance GHC.Read.Read mono => GHC.Read.Read (Data.MinLen.MinLen nat mono)
+ Data.MinLen: instance GHC.Show.Show mono => GHC.Show.Show (Data.MinLen.MinLen nat mono)
+ Data.MonoTraversable: instance (Control.Comonad.Comonad f, Control.Comonad.Comonad g) => Data.MonoTraversable.MonoComonad (Data.Functor.Coproduct.Coproduct f g a)
+ Data.MonoTraversable: instance (Control.Comonad.Comonad w, GHC.Base.Monoid m) => Data.MonoTraversable.MonoComonad (Control.Comonad.Trans.Traced.TracedT m w a)
+ Data.MonoTraversable: instance (Data.Foldable.Foldable f, Data.Foldable.Foldable g) => Data.MonoTraversable.MonoFoldable (Data.Functor.Compose.Compose f g a)
+ Data.MonoTraversable: instance (Data.Foldable.Foldable f, Data.Foldable.Foldable g) => Data.MonoTraversable.MonoFoldable (Data.Functor.Product.Product f g a)
+ Data.MonoTraversable: instance (Data.MonoTraversable.MonoFoldable (t a), GHC.Base.Monoid (t a)) => Data.MonoTraversable.MonoFoldableMonoid (t a)
+ Data.MonoTraversable: instance (Data.Traversable.Traversable f, Data.Traversable.Traversable g) => Data.MonoTraversable.MonoTraversable (Data.Functor.Compose.Compose f g a)
+ Data.MonoTraversable: instance (Data.Traversable.Traversable f, Data.Traversable.Traversable g) => Data.MonoTraversable.MonoTraversable (Data.Functor.Product.Product f g a)
+ Data.MonoTraversable: instance (Data.Vector.Unboxed.Base.Unbox a, GHC.Classes.Ord a) => Data.MonoTraversable.MonoFoldableOrd (Data.Vector.Unboxed.Base.Vector a)
+ Data.MonoTraversable: instance (GHC.Base.Applicative f, GHC.Base.Applicative g) => Data.MonoTraversable.MonoPointed (Data.Functor.Compose.Compose f g a)
+ Data.MonoTraversable: instance (GHC.Base.Applicative f, GHC.Base.Applicative g) => Data.MonoTraversable.MonoPointed (Data.Functor.Product.Product f g a)
+ Data.MonoTraversable: instance (GHC.Base.Functor f, GHC.Base.Functor g) => Data.MonoTraversable.MonoFunctor (Data.Functor.Compose.Compose f g a)
+ Data.MonoTraversable: instance (GHC.Base.Functor f, GHC.Base.Functor g) => Data.MonoTraversable.MonoFunctor (Data.Functor.Coproduct.Coproduct f g a)
+ Data.MonoTraversable: instance (GHC.Base.Functor f, GHC.Base.Functor g) => Data.MonoTraversable.MonoFunctor (Data.Functor.Product.Product f g a)
+ Data.MonoTraversable: instance (GHC.Base.Monoid w, GHC.Base.Applicative m) => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.RWS.Lazy.RWST r w s m a)
+ Data.MonoTraversable: instance (GHC.Base.Monoid w, GHC.Base.Applicative m) => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.RWS.Strict.RWST r w s m a)
+ Data.MonoTraversable: instance (GHC.Base.Monoid w, GHC.Base.Applicative m) => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.Writer.Lazy.WriterT w m a)
+ Data.MonoTraversable: instance (GHC.Base.Monoid w, GHC.Base.Applicative m) => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.Writer.Strict.WriterT w m a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableEq (Control.Monad.Trans.Error.ErrorT e f a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableEq (Control.Monad.Trans.Identity.IdentityT f a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableEq (Control.Monad.Trans.List.ListT f a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableEq (Control.Monad.Trans.Maybe.MaybeT f a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableEq (Control.Monad.Trans.Writer.Lazy.WriterT w f a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableEq (Control.Monad.Trans.Writer.Strict.WriterT w f a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Data.Foldable.Foldable f, Data.Foldable.Foldable g) => Data.MonoTraversable.MonoFoldableEq (Data.Functor.Compose.Compose f g a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Data.Foldable.Foldable f, Data.Foldable.Foldable g) => Data.MonoTraversable.MonoFoldableEq (Data.Functor.Product.Product f g a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Data.Vector.Unboxed.Base.Unbox a) => Data.MonoTraversable.MonoFoldableEq (Data.Vector.Unboxed.Base.Vector a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, Foreign.Storable.Storable a) => Data.MonoTraversable.MonoFoldableEq (Data.Vector.Storable.Vector a)
+ Data.MonoTraversable: instance (GHC.Classes.Eq a, GHC.Classes.Ord a) => Data.MonoTraversable.MonoFoldableEq (Data.Set.Base.Set a)
+ Data.MonoTraversable: instance (GHC.Classes.Ord a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableOrd (Control.Monad.Trans.Error.ErrorT e f a)
+ Data.MonoTraversable: instance (GHC.Classes.Ord a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableOrd (Control.Monad.Trans.Identity.IdentityT f a)
+ Data.MonoTraversable: instance (GHC.Classes.Ord a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableOrd (Control.Monad.Trans.List.ListT f a)
+ Data.MonoTraversable: instance (GHC.Classes.Ord a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableOrd (Control.Monad.Trans.Maybe.MaybeT f a)
+ Data.MonoTraversable: instance (GHC.Classes.Ord a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableOrd (Control.Monad.Trans.Writer.Lazy.WriterT w f a)
+ Data.MonoTraversable: instance (GHC.Classes.Ord a, Data.Foldable.Foldable f) => Data.MonoTraversable.MonoFoldableOrd (Control.Monad.Trans.Writer.Strict.WriterT w f a)
+ Data.MonoTraversable: instance (GHC.Classes.Ord a, Data.Foldable.Foldable f, Data.Foldable.Foldable g) => Data.MonoTraversable.MonoFoldableOrd (Data.Functor.Compose.Compose f g a)
+ Data.MonoTraversable: instance (GHC.Classes.Ord a, Data.Foldable.Foldable f, Data.Foldable.Foldable g) => Data.MonoTraversable.MonoFoldableOrd (Data.Functor.Product.Product f g a)
+ Data.MonoTraversable: instance (GHC.Classes.Ord a, Foreign.Storable.Storable a) => Data.MonoTraversable.MonoFoldableOrd (Data.Vector.Storable.Vector a)
+ Data.MonoTraversable: instance Control.Arrow.Arrow a => Data.MonoTraversable.MonoFunctor (Control.Applicative.WrappedArrow a b c)
+ Data.MonoTraversable: instance Control.Arrow.Arrow a => Data.MonoTraversable.MonoPointed (Control.Applicative.WrappedArrow a b c)
+ Data.MonoTraversable: instance Control.Comonad.Comonad w => Data.MonoTraversable.MonoComonad (Control.Comonad.Trans.Env.EnvT e w a)
+ Data.MonoTraversable: instance Control.Comonad.Comonad w => Data.MonoTraversable.MonoComonad (Control.Comonad.Trans.Store.StoreT s w a)
+ Data.MonoTraversable: instance Control.Comonad.Comonad w => Data.MonoTraversable.MonoComonad (Control.Monad.Trans.Identity.IdentityT w a)
+ Data.MonoTraversable: instance Data.Foldable.Foldable f => Data.MonoTraversable.MonoFoldable (Control.Monad.Trans.Error.ErrorT e f a)
+ Data.MonoTraversable: instance Data.Foldable.Foldable f => Data.MonoTraversable.MonoFoldable (Control.Monad.Trans.Identity.IdentityT f a)
+ Data.MonoTraversable: instance Data.Foldable.Foldable f => Data.MonoTraversable.MonoFoldable (Control.Monad.Trans.List.ListT f a)
+ Data.MonoTraversable: instance Data.Foldable.Foldable f => Data.MonoTraversable.MonoFoldable (Control.Monad.Trans.Maybe.MaybeT f a)
+ Data.MonoTraversable: instance Data.Foldable.Foldable f => Data.MonoTraversable.MonoFoldable (Control.Monad.Trans.Writer.Lazy.WriterT w f a)
+ Data.MonoTraversable: instance Data.Foldable.Foldable f => Data.MonoTraversable.MonoFoldable (Control.Monad.Trans.Writer.Strict.WriterT w f a)
+ Data.MonoTraversable: instance Data.Hashable.Class.Hashable a => Data.MonoTraversable.MonoPointed (Data.HashSet.HashSet a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoComonad (Data.Functor.Identity.Identity a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoComonad (Data.List.NonEmpty.NonEmpty a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoComonad (Data.Semigroup.Arg a b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoComonad (Data.Sequence.ViewL a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoComonad (Data.Sequence.ViewR a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoComonad (Data.Tree.Tree a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoComonad (e, a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Control.Applicative.Const m a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.DList.DList a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Either.Either a b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Functor.Identity.Identity a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.HashMap.Base.HashMap k v)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.HashSet.HashSet e)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.IntMap.Base.IntMap a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.List.NonEmpty.NonEmpty a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Map.Base.Map k v)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Semigroup.Option a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Sequence.Seq a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Sequence.ViewL a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Sequence.ViewR a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Set.Base.Set e)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Tree.Tree a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (Data.Vector.Vector a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (GHC.Base.Maybe a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable (a, b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable Data.ByteString.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable Data.ByteString.Lazy.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable Data.IntSet.Base.IntSet
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable Data.Text.Internal.Lazy.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable Data.Text.Internal.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldable [a]
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableEq Data.ByteString.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableEq Data.ByteString.Lazy.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableEq Data.IntSet.Base.IntSet
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableEq Data.Text.Internal.Lazy.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableEq Data.Text.Internal.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableMonoid Data.ByteString.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableMonoid Data.ByteString.Lazy.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableMonoid Data.Text.Internal.Lazy.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableMonoid Data.Text.Internal.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableOrd Data.ByteString.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableOrd Data.ByteString.Lazy.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableOrd Data.IntSet.Base.IntSet
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableOrd Data.Text.Internal.Lazy.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFoldableOrd Data.Text.Internal.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Control.Applicative.Const m a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Control.Applicative.ZipList a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Control.Comonad.Cokleisli w a b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.DList.DList a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Either.Either a b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Functor.Identity.Identity a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.HashMap.Base.HashMap k v)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.IntMap.Base.IntMap a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.List.NonEmpty.NonEmpty a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Map.Base.Map k v)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Semigroup.Arg a b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Semigroup.Option a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Sequence.Seq a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Sequence.ViewL a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Sequence.ViewR a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Tree.Tree a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (Data.Vector.Vector a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (GHC.Base.Maybe a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (GHC.Types.IO a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (a, b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor (r -> a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor Data.ByteString.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor Data.ByteString.Lazy.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor Data.Text.Internal.Lazy.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor Data.Text.Internal.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoFunctor [a]
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Control.Applicative.ZipList a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Control.Comonad.Cokleisli w a b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Control.Monad.Trans.Cont.ContT r m a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.DList.DList a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Either.Either a b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Functor.Bind.Class.MaybeApply f a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Functor.Identity.Identity a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.List.NonEmpty.NonEmpty a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Semigroup.Option a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Sequence.Seq a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Sequence.ViewL a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Sequence.ViewR a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Set.Base.Set a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Tree.Tree a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (Data.Vector.Vector a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (GHC.Base.Maybe a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (GHC.Types.IO a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed (r -> a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed Data.ByteString.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed Data.ByteString.Lazy.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed Data.IntSet.Base.IntSet
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed Data.Text.Internal.Lazy.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed Data.Text.Internal.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoPointed [a]
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Control.Applicative.Const m a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.DList.DList a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.Either.Either a b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.Functor.Identity.Identity a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.HashMap.Base.HashMap k v)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.IntMap.Base.IntMap a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.List.NonEmpty.NonEmpty a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.Map.Base.Map k v)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.Semigroup.Option a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.Sequence.Seq a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.Sequence.ViewL a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.Sequence.ViewR a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.Tree.Tree a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (Data.Vector.Vector a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (GHC.Base.Maybe a)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable (a, b)
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable Data.ByteString.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable Data.ByteString.Lazy.Internal.ByteString
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable Data.Text.Internal.Lazy.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable Data.Text.Internal.Text
+ Data.MonoTraversable: instance Data.MonoTraversable.MonoTraversable [a]
+ Data.MonoTraversable: instance Data.Traversable.Traversable f => Data.MonoTraversable.MonoTraversable (Control.Monad.Trans.Error.ErrorT e f a)
+ Data.MonoTraversable: instance Data.Traversable.Traversable f => Data.MonoTraversable.MonoTraversable (Control.Monad.Trans.Identity.IdentityT f a)
+ Data.MonoTraversable: instance Data.Traversable.Traversable f => Data.MonoTraversable.MonoTraversable (Control.Monad.Trans.List.ListT f a)
+ Data.MonoTraversable: instance Data.Traversable.Traversable f => Data.MonoTraversable.MonoTraversable (Control.Monad.Trans.Maybe.MaybeT f a)
+ Data.MonoTraversable: instance Data.Traversable.Traversable f => Data.MonoTraversable.MonoTraversable (Control.Monad.Trans.Writer.Lazy.WriterT w f a)
+ Data.MonoTraversable: instance Data.Traversable.Traversable f => Data.MonoTraversable.MonoTraversable (Control.Monad.Trans.Writer.Strict.WriterT w f a)
+ Data.MonoTraversable: instance Data.Vector.Unboxed.Base.Unbox a => Data.MonoTraversable.MonoFoldable (Data.Vector.Unboxed.Base.Vector a)
+ Data.MonoTraversable: instance Data.Vector.Unboxed.Base.Unbox a => Data.MonoTraversable.MonoFunctor (Data.Vector.Unboxed.Base.Vector a)
+ Data.MonoTraversable: instance Data.Vector.Unboxed.Base.Unbox a => Data.MonoTraversable.MonoPointed (Data.Vector.Unboxed.Base.Vector a)
+ Data.MonoTraversable: instance Data.Vector.Unboxed.Base.Unbox a => Data.MonoTraversable.MonoTraversable (Data.Vector.Unboxed.Base.Vector a)
+ Data.MonoTraversable: instance Foreign.Storable.Storable a => Data.MonoTraversable.MonoFoldable (Data.Vector.Storable.Vector a)
+ Data.MonoTraversable: instance Foreign.Storable.Storable a => Data.MonoTraversable.MonoFunctor (Data.Vector.Storable.Vector a)
+ Data.MonoTraversable: instance Foreign.Storable.Storable a => Data.MonoTraversable.MonoPointed (Data.Vector.Storable.Vector a)
+ Data.MonoTraversable: instance Foreign.Storable.Storable a => Data.MonoTraversable.MonoTraversable (Data.Vector.Storable.Vector a)
+ Data.MonoTraversable: instance GHC.Base.Applicative f => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.Maybe.MaybeT f a)
+ Data.MonoTraversable: instance GHC.Base.Applicative f => Data.MonoTraversable.MonoPointed (Data.Functor.Bind.Class.WrappedApplicative f a)
+ Data.MonoTraversable: instance GHC.Base.Applicative f => Data.MonoTraversable.MonoPointed (Data.Semigroupoid.Static.Static f a b)
+ Data.MonoTraversable: instance GHC.Base.Applicative m => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.Error.ErrorT e m a)
+ Data.MonoTraversable: instance GHC.Base.Applicative m => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.Identity.IdentityT m a)
+ Data.MonoTraversable: instance GHC.Base.Applicative m => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.List.ListT m a)
+ Data.MonoTraversable: instance GHC.Base.Applicative m => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.Reader.ReaderT r m a)
+ Data.MonoTraversable: instance GHC.Base.Applicative m => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.State.Lazy.StateT s m a)
+ Data.MonoTraversable: instance GHC.Base.Applicative m => Data.MonoTraversable.MonoPointed (Control.Monad.Trans.State.Strict.StateT s m a)
+ Data.MonoTraversable: instance GHC.Base.Functor f => Data.MonoTraversable.MonoFunctor (Data.Functor.Bind.Class.MaybeApply f a)
+ Data.MonoTraversable: instance GHC.Base.Functor f => Data.MonoTraversable.MonoFunctor (Data.Functor.Bind.Class.WrappedApplicative f a)
+ Data.MonoTraversable: instance GHC.Base.Functor f => Data.MonoTraversable.MonoFunctor (Data.Semigroupoid.Static.Static f a b)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.Cont.ContT r m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.Error.ErrorT e m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.Identity.IdentityT m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.List.ListT m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.Maybe.MaybeT m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.RWS.Lazy.RWST r w s m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.RWS.Strict.RWST r w s m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.Reader.ReaderT r m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.State.Lazy.StateT s m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.State.Strict.StateT s m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.Writer.Lazy.WriterT w m a)
+ Data.MonoTraversable: instance GHC.Base.Functor m => Data.MonoTraversable.MonoFunctor (Control.Monad.Trans.Writer.Strict.WriterT w m a)
+ Data.MonoTraversable: instance GHC.Base.Functor w => Data.MonoTraversable.MonoFunctor (Control.Comonad.Trans.Env.EnvT e w a)
+ Data.MonoTraversable: instance GHC.Base.Functor w => Data.MonoTraversable.MonoFunctor (Control.Comonad.Trans.Store.StoreT s w a)
+ Data.MonoTraversable: instance GHC.Base.Functor w => Data.MonoTraversable.MonoFunctor (Control.Comonad.Trans.Traced.TracedT m w a)
+ Data.MonoTraversable: instance GHC.Base.Monad m => Data.MonoTraversable.MonoFunctor (Control.Applicative.WrappedMonad m a)
+ Data.MonoTraversable: instance GHC.Base.Monad m => Data.MonoTraversable.MonoPointed (Control.Applicative.WrappedMonad m a)
+ Data.MonoTraversable: instance GHC.Base.Monoid a => Data.MonoTraversable.MonoPointed (a, b)
+ Data.MonoTraversable: instance GHC.Base.Monoid m => Data.MonoTraversable.MonoComonad (m -> a)
+ Data.MonoTraversable: instance GHC.Base.Monoid m => Data.MonoTraversable.MonoPointed (Control.Applicative.Const m a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Control.Applicative.Const m a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.DList.DList a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.Functor.Identity.Identity a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.HashSet.HashSet a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.IntMap.Base.IntMap a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.List.NonEmpty.NonEmpty a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.Semigroup.Option a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.Sequence.Seq a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.Sequence.ViewL a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.Sequence.ViewR a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.Tree.Tree a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (Data.Vector.Vector a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq (GHC.Base.Maybe a)
+ Data.MonoTraversable: instance GHC.Classes.Eq a => Data.MonoTraversable.MonoFoldableEq [a]
+ Data.MonoTraversable: instance GHC.Classes.Eq b => Data.MonoTraversable.MonoFoldableEq (Data.Either.Either a b)
+ Data.MonoTraversable: instance GHC.Classes.Eq b => Data.MonoTraversable.MonoFoldableEq (a, b)
+ Data.MonoTraversable: instance GHC.Classes.Eq v => Data.MonoTraversable.MonoFoldableEq (Data.HashMap.Base.HashMap k v)
+ Data.MonoTraversable: instance GHC.Classes.Eq v => Data.MonoTraversable.MonoFoldableEq (Data.Map.Base.Map k v)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Control.Applicative.Const m a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.DList.DList a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.Functor.Identity.Identity a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.IntMap.Base.IntMap a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.List.NonEmpty.NonEmpty a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.Semigroup.Option a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.Sequence.Seq a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.Sequence.ViewL a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.Sequence.ViewR a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.Tree.Tree a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (Data.Vector.Vector a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd (GHC.Base.Maybe a)
+ Data.MonoTraversable: instance GHC.Classes.Ord a => Data.MonoTraversable.MonoFoldableOrd [a]
+ Data.MonoTraversable: instance GHC.Classes.Ord b => Data.MonoTraversable.MonoFoldableOrd (Data.Either.Either a b)
+ Data.MonoTraversable: instance GHC.Classes.Ord b => Data.MonoTraversable.MonoFoldableOrd (a, b)
+ Data.MonoTraversable: instance GHC.Classes.Ord e => Data.MonoTraversable.MonoFoldableOrd (Data.HashSet.HashSet e)
+ Data.MonoTraversable: instance GHC.Classes.Ord e => Data.MonoTraversable.MonoFoldableOrd (Data.Set.Base.Set e)
+ Data.MonoTraversable: instance GHC.Classes.Ord v => Data.MonoTraversable.MonoFoldableOrd (Data.HashMap.Base.HashMap k v)
+ Data.MonoTraversable: instance GHC.Classes.Ord v => Data.MonoTraversable.MonoFoldableOrd (Data.Map.Base.Map k v)
+ Data.NonNull: instance GHC.Exception.Exception Data.NonNull.NullError
+ Data.NonNull: instance GHC.Show.Show Data.NonNull.NullError
+ Data.Sequences: instance (GHC.Classes.Eq a, Data.Vector.Unboxed.Base.Unbox a) => Data.Sequences.EqSequence (Data.Vector.Unboxed.Base.Vector a)
+ Data.Sequences: instance (GHC.Classes.Eq a, Foreign.Storable.Storable a) => Data.Sequences.EqSequence (Data.Vector.Storable.Vector a)
+ Data.Sequences: instance (GHC.Classes.Ord a, Data.Vector.Unboxed.Base.Unbox a) => Data.Sequences.OrdSequence (Data.Vector.Unboxed.Base.Vector a)
+ Data.Sequences: instance (GHC.Classes.Ord a, Foreign.Storable.Storable a) => Data.Sequences.OrdSequence (Data.Vector.Storable.Vector a)
+ Data.Sequences: instance (c ~ GHC.Types.Char) => Data.Sequences.Textual [c]
+ Data.Sequences: instance Data.Sequences.EqSequence Data.ByteString.Internal.ByteString
+ Data.Sequences: instance Data.Sequences.EqSequence Data.ByteString.Lazy.Internal.ByteString
+ Data.Sequences: instance Data.Sequences.EqSequence Data.Text.Internal.Lazy.Text
+ Data.Sequences: instance Data.Sequences.EqSequence Data.Text.Internal.Text
+ Data.Sequences: instance Data.Sequences.IsSequence (Data.DList.DList a)
+ Data.Sequences: instance Data.Sequences.IsSequence (Data.Sequence.Seq a)
+ Data.Sequences: instance Data.Sequences.IsSequence (Data.Vector.Vector a)
+ Data.Sequences: instance Data.Sequences.IsSequence Data.ByteString.Internal.ByteString
+ Data.Sequences: instance Data.Sequences.IsSequence Data.ByteString.Lazy.Internal.ByteString
+ Data.Sequences: instance Data.Sequences.IsSequence Data.Text.Internal.Lazy.Text
+ Data.Sequences: instance Data.Sequences.IsSequence Data.Text.Internal.Text
+ Data.Sequences: instance Data.Sequences.IsSequence [a]
+ Data.Sequences: instance Data.Sequences.OrdSequence Data.ByteString.Internal.ByteString
+ Data.Sequences: instance Data.Sequences.OrdSequence Data.ByteString.Lazy.Internal.ByteString
+ Data.Sequences: instance Data.Sequences.OrdSequence Data.Text.Internal.Lazy.Text
+ Data.Sequences: instance Data.Sequences.OrdSequence Data.Text.Internal.Text
+ Data.Sequences: instance Data.Sequences.SemiSequence (Data.DList.DList a)
+ Data.Sequences: instance Data.Sequences.SemiSequence (Data.List.NonEmpty.NonEmpty a)
+ Data.Sequences: instance Data.Sequences.SemiSequence (Data.Sequence.Seq a)
+ Data.Sequences: instance Data.Sequences.SemiSequence (Data.Vector.Vector a)
+ Data.Sequences: instance Data.Sequences.SemiSequence Data.ByteString.Internal.ByteString
+ Data.Sequences: instance Data.Sequences.SemiSequence Data.ByteString.Lazy.Internal.ByteString
+ Data.Sequences: instance Data.Sequences.SemiSequence Data.Text.Internal.Lazy.Text
+ Data.Sequences: instance Data.Sequences.SemiSequence Data.Text.Internal.Text
+ Data.Sequences: instance Data.Sequences.SemiSequence [a]
+ Data.Sequences: instance Data.Sequences.Textual Data.Text.Internal.Lazy.Text
+ Data.Sequences: instance Data.Sequences.Textual Data.Text.Internal.Text
+ Data.Sequences: instance Data.Vector.Unboxed.Base.Unbox a => Data.Sequences.IsSequence (Data.Vector.Unboxed.Base.Vector a)
+ Data.Sequences: instance Data.Vector.Unboxed.Base.Unbox a => Data.Sequences.SemiSequence (Data.Vector.Unboxed.Base.Vector a)
+ Data.Sequences: instance Foreign.Storable.Storable a => Data.Sequences.IsSequence (Data.Vector.Storable.Vector a)
+ Data.Sequences: instance Foreign.Storable.Storable a => Data.Sequences.SemiSequence (Data.Vector.Storable.Vector a)
+ Data.Sequences: instance GHC.Classes.Eq a => Data.Sequences.EqSequence (Data.Sequence.Seq a)
+ Data.Sequences: instance GHC.Classes.Eq a => Data.Sequences.EqSequence (Data.Vector.Vector a)
+ Data.Sequences: instance GHC.Classes.Eq a => Data.Sequences.EqSequence [a]
+ Data.Sequences: instance GHC.Classes.Ord a => Data.Sequences.OrdSequence (Data.Sequence.Seq a)
+ Data.Sequences: instance GHC.Classes.Ord a => Data.Sequences.OrdSequence (Data.Vector.Vector a)
+ Data.Sequences: instance GHC.Classes.Ord a => Data.Sequences.OrdSequence [a]
- Data.MinLen: toMinLenZero :: MonoFoldable mono => mono -> MinLen Zero mono
+ Data.MinLen: toMinLenZero :: (MonoFoldable mono) => mono -> MinLen Zero mono
- Data.Sequences: defaultIntercalate :: IsSequence seq => seq -> [seq] -> seq
+ Data.Sequences: defaultIntercalate :: (IsSequence seq) => seq -> [seq] -> seq
Files
- ChangeLog.md +4/−0
- mono-traversable.cabal +1/−1
- src/Data/MinLen.hs +9/−6
ChangeLog.md view
@@ -1,3 +1,7 @@+## 0.10.0++* Remove `Functor` instance for `MinLen` [#82](https://github.com/snoyberg/mono-traversable/issues/82)+ ## 0.9.3 * Added `intercalate`, `splitWhen`, `splitElem`, and `splitSeq` [#80](https://github.com/snoyberg/mono-traversable/pull/80)
mono-traversable.cabal view
@@ -1,5 +1,5 @@ name: mono-traversable-version: 0.9.3+version: 0.10.0 synopsis: Type classes for mapping, folding, and traversing monomorphic containers description: Monomorphic variants of the Functor, Foldable, and Traversable typeclasses. If you understand Haskell's basic typeclasses, you understand mono-traversable. In addition to what you are used to, it adds on an IsSequence typeclass and has code for marking data structures as non-empty. homepage: https://github.com/snoyberg/mono-traversable
src/Data/MinLen.hs view
@@ -162,7 +162,7 @@ newtype MinLen nat mono = MinLen { unMinLen :: mono -- ^ Get the monomorphic container out of a 'MinLen' wrapper.- } deriving (Eq, Ord, Read, Show, Data, Typeable, Functor)+ } deriving (Eq, Ord, Read, Show, Data, Typeable) type instance Element (MinLen nat mono) = Element mono deriving instance MonoFunctor mono => MonoFunctor (MinLen nat mono)@@ -176,6 +176,9 @@ {-# INLINE omapM #-} deriving instance GrowingAppend mono => GrowingAppend (MinLen nat mono) +-- | This function is unsafe, and must not be exposed from this module.+unsafeMap :: (mono -> mono) -> MinLen nat mono -> MinLen nat mono+unsafeMap f (MinLen x) = MinLen (f x) instance GrowingAppend mono => Semigroup (MinLen nat mono) where MinLen x <> MinLen y = MinLen (x <> y)@@ -183,12 +186,12 @@ instance SemiSequence seq => SemiSequence (MinLen nat seq) where type Index (MinLen nat seq) = Index seq - intersperse e = fmap $ intersperse e- reverse = fmap reverse+ intersperse e = unsafeMap $ intersperse e+ reverse = unsafeMap reverse find f = find f . unMinLen- cons x = fmap $ cons x- snoc xs x = fmap (flip snoc x) xs- sortBy f = fmap $ sortBy f+ cons x = unsafeMap $ cons x+ snoc xs x = unsafeMap (flip snoc x) xs+ sortBy f = unsafeMap $ sortBy f instance MonoPointed mono => MonoPointed (MinLen Zero mono) where opoint = MinLen . opoint