Yaya.Containers.Pattern.Map

Documentation

data MapF k v r

Constructors

TipF

BinF Size k ~v r r

Instances

Projectable (->) (Map k v :: Type) (MapF k v :: Type -> Type)

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)

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)

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)

Defined in Yaya.Containers.Pattern.Map

Methods

embed :: Algebra (->) (MapF k v) (Map k v)

Eq k => Eq2 (MapF k)

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)

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)

Since: 0.1.2.0

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)

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)

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)

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)

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)

Since: 0.1.2.0

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)

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)

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)

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)

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)

Since: 0.1.2.0

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)

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)

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)

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)

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)

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

Since: 0.1.2.0

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

Since: 0.1.2.0

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

Since: 0.1.2.0

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

Orphan instances

Projectable (->) (Map k v :: Type) (MapF k v :: Type -> Type)

Methods

project :: Coalgebra (->) (MapF k v) (Map k v)

Recursive (->) (Map k v :: Type) (MapF k v :: Type -> Type)

Methods

cata :: forall (a :: k1). Algebra (->) (MapF k v) a -> Map k v -> a

Steppable (->) (Map k v :: Type) (MapF k v :: Type -> Type)

Methods

embed :: Algebra (->) (MapF k v) (Map k v)