Safe Haskell	Safe
Language	Haskell2010

Yaya.Containers.Pattern.Map

Contents

Orphan instances

Synopsis

data MapF k v r
- = TipF
- | BinF Size k ~v r r
eqMapF :: (k -> k' -> Bool) -> (v -> v' -> Bool) -> (r -> r' -> Bool) -> MapF k v r -> MapF k' v' r' -> Bool
compareMapF :: (k -> k' -> Ordering) -> (v -> v' -> Ordering) -> (r -> r' -> Ordering) -> MapF k v r -> MapF k' v' r' -> Ordering
readMapFPrec :: ReadPrec k -> ReadPrec v -> ReadPrec r -> ReadPrec (MapF k v r)
showsMapFPrec :: (Int -> k -> ShowS) -> (Int -> v -> ShowS) -> (Int -> r -> ShowS) -> Int -> MapF k v r -> ShowS

Documentation

data MapF k v r Source #

Constructors

TipF
BinF Size k ~v r r

Instances

Instances details

Projectable (->) (Map k v :: Type) (MapF k v :: Type -> Type) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods project :: Coalgebra (->) (MapF k v) (Map k v) #
Recursive (->) (Map k v :: Type) (MapF k v :: Type -> Type) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods cata :: forall (a :: k1). Algebra (->) (MapF k v) a -> Map k v -> a #
Generic1 (MapF k v :: Type -> Type) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Associated Types type Rep1 (MapF k v) :: k -> Type # Methods from1 :: forall (a :: k0). MapF k v a -> Rep1 (MapF k v) a # to1 :: forall (a :: k0). Rep1 (MapF k v) a -> MapF k v a #
Steppable (->) (Map k v :: Type) (MapF k v :: Type -> Type) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods embed :: Algebra (->) (MapF k v) (Map k v) #
Eq k => Eq2 (MapF k) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> MapF k a c -> MapF k b d -> Bool #
Ord k => Ord2 (MapF k) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> MapF k a c -> MapF k b d -> Ordering #
Read k => Read2 (MapF k) Source #	Since: 0.1.2.0
Instance details Defined in Yaya.Containers.Pattern.Map Methods liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (MapF k a b) # liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [MapF k a b] # liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (MapF k a b) # liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [MapF k a b] #
Show k => Show2 (MapF k) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> MapF k a b -> ShowS # liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [MapF k a b] -> ShowS #
Foldable (MapF k v) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods fold :: Monoid m => MapF k v m -> m # foldMap :: Monoid m => (a -> m) -> MapF k v a -> m # foldMap' :: Monoid m => (a -> m) -> MapF k v a -> m # foldr :: (a -> b -> b) -> b -> MapF k v a -> b # foldr' :: (a -> b -> b) -> b -> MapF k v a -> b # foldl :: (b -> a -> b) -> b -> MapF k v a -> b # foldl' :: (b -> a -> b) -> b -> MapF k v a -> b # foldr1 :: (a -> a -> a) -> MapF k v a -> a # foldl1 :: (a -> a -> a) -> MapF k v a -> a # toList :: MapF k v a -> [a] # null :: MapF k v a -> Bool # length :: MapF k v a -> Int # elem :: Eq a => a -> MapF k v a -> Bool # maximum :: Ord a => MapF k v a -> a # minimum :: Ord a => MapF k v a -> a # sum :: Num a => MapF k v a -> a # product :: Num a => MapF k v a -> a #
(Eq k, Eq v) => Eq1 (MapF k v) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods liftEq :: (a -> b -> Bool) -> MapF k v a -> MapF k v b -> Bool #
(Ord k, Ord v) => Ord1 (MapF k v) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods liftCompare :: (a -> b -> Ordering) -> MapF k v a -> MapF k v b -> Ordering #
(Read k, Read v) => Read1 (MapF k v) Source #	Since: 0.1.2.0
Instance details Defined in Yaya.Containers.Pattern.Map Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (MapF k v a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [MapF k v a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (MapF k v a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [MapF k v a] #
(Show k, Show v) => Show1 (MapF k v) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> MapF k v a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [MapF k v a] -> ShowS #
Traversable (MapF k v) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods traverse :: Applicative f => (a -> f b) -> MapF k v a -> f (MapF k v b) # sequenceA :: Applicative f => MapF k v (f a) -> f (MapF k v a) # mapM :: Monad m => (a -> m b) -> MapF k v a -> m (MapF k v b) # sequence :: Monad m => MapF k v (m a) -> m (MapF k v a) #
Functor (MapF k v) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods fmap :: (a -> b) -> MapF k v a -> MapF k v b # (<$) :: a -> MapF k v b -> MapF k v a #
Generic (MapF k v r) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Associated Types type Rep (MapF k v r) :: Type -> Type # Methods from :: MapF k v r -> Rep (MapF k v r) x # to :: Rep (MapF k v r) x -> MapF k v r #
(Read k, Read v, Read r) => Read (MapF k v r) Source #	Since: 0.1.2.0
Instance details Defined in Yaya.Containers.Pattern.Map Methods readsPrec :: Int -> ReadS (MapF k v r) # readList :: ReadS [MapF k v r] # readPrec :: ReadPrec (MapF k v r) # readListPrec :: ReadPrec [MapF k v r] #
(Show k, Show v, Show r) => Show (MapF k v r) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods showsPrec :: Int -> MapF k v r -> ShowS # show :: MapF k v r -> String # showList :: [MapF k v r] -> ShowS #
(Eq k, Eq v, Eq r) => Eq (MapF k v r) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods (==) :: MapF k v r -> MapF k v r -> Bool # (/=) :: MapF k v r -> MapF k v r -> Bool #
(Ord k, Ord v, Ord r) => Ord (MapF k v r) Source #
Instance details Defined in Yaya.Containers.Pattern.Map Methods compare :: MapF k v r -> MapF k v r -> Ordering # (<) :: MapF k v r -> MapF k v r -> Bool # (<=) :: MapF k v r -> MapF k v r -> Bool # (>) :: MapF k v r -> MapF k v r -> Bool # (>=) :: MapF k v r -> MapF k v r -> Bool # max :: MapF k v r -> MapF k v r -> MapF k v r # min :: MapF k v r -> MapF k v r -> MapF k v r #
type Rep1 (MapF k v :: Type -> Type) Source #
Instance details Defined in Yaya.Containers.Pattern.Map type Rep1 (MapF k v :: Type -> Type) = D1 ('MetaData "MapF" "Yaya.Containers.Pattern.Map" "yaya-containers-0.1.2.0-BwdIpLbzUP2IDIyNLjx0nV" 'False) (C1 ('MetaCons "TipF" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BinF" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Size) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 k)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 v) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1))))
type Rep (MapF k v r) Source #
Instance details Defined in Yaya.Containers.Pattern.Map type Rep (MapF k v r) = D1 ('MetaData "MapF" "Yaya.Containers.Pattern.Map" "yaya-containers-0.1.2.0-BwdIpLbzUP2IDIyNLjx0nV" 'False) (C1 ('MetaCons "TipF" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BinF" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Size) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 k)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 v) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 r) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 r)))))

Since: 0.1.2.0

eqMapF :: (k -> k' -> Bool) -> (v -> v' -> Bool) -> (r -> r' -> Bool) -> MapF k v r -> MapF k' v' r' -> Bool Source #

Since: 0.1.2.0

compareMapF :: (k -> k' -> Ordering) -> (v -> v' -> Ordering) -> (r -> r' -> Ordering) -> MapF k v r -> MapF k' v' r' -> Ordering Source #

Since: 0.1.2.0

readMapFPrec :: ReadPrec k -> ReadPrec v -> ReadPrec r -> ReadPrec (MapF k v r) Source #

Since: 0.1.2.0

showsMapFPrec :: (Int -> k -> ShowS) -> (Int -> v -> ShowS) -> (Int -> r -> ShowS) -> Int -> MapF k v r -> ShowS Source #

Orphan instances

Projectable (->) (Map k v :: Type) (MapF k v :: Type -> Type) Source #
Instance details Methods project :: Coalgebra (->) (MapF k v) (Map k v) #
Recursive (->) (Map k v :: Type) (MapF k v :: Type -> Type) Source #
Instance details Methods cata :: forall (a :: k1). Algebra (->) (MapF k v) a -> Map k v -> a #
Steppable (->) (Map k v :: Type) (MapF k v :: Type -> Type) Source #
Instance details Methods embed :: Algebra (->) (MapF k v) (Map k v) #