Stop using Semigroups.Option
parent
751ac69eaf
commit
ce3875d1fd
|
@ -157,7 +157,7 @@ data MyFlagStruct (c :: Type) (f :: Type -> Type) = MyFlagStruct
|
||||||
instance Barbies.FunctorB (MyFlagStruct Barbies.Covered)
|
instance Barbies.FunctorB (MyFlagStruct Barbies.Covered)
|
||||||
instance Barbies.BareB MyFlagStruct
|
instance Barbies.BareB MyFlagStruct
|
||||||
instance Barbies.TraversableB (MyFlagStruct Barbies.Covered)
|
instance Barbies.TraversableB (MyFlagStruct Barbies.Covered)
|
||||||
instance Semigroup (MyFlagStruct Barbies.Covered Option) where
|
instance Semigroup (MyFlagStruct Barbies.Covered Maybe) where
|
||||||
(<>) = gmappend
|
(<>) = gmappend
|
||||||
|
|
||||||
_test :: IO ()
|
_test :: IO ()
|
||||||
|
|
|
@ -116,7 +116,7 @@ import Data.Monoid ( Endo(..), All(..), Any(..), Sum(..), Product(..), Alt(..),
|
||||||
import Data.Void ( Void )
|
import Data.Void ( Void )
|
||||||
-- import Data.Proxy ( Proxy(..) )
|
-- import Data.Proxy ( Proxy(..) )
|
||||||
import Data.Sequence ( Seq )
|
import Data.Sequence ( Seq )
|
||||||
import Data.Semigroup ( Semigroup(..), Option )
|
import Data.Semigroup ( Semigroup(..) )
|
||||||
|
|
||||||
import Data.Map ( Map )
|
import Data.Map ( Map )
|
||||||
import Data.Set ( Set )
|
import Data.Set ( Set )
|
||||||
|
|
Loading…
Reference in New Issue