Yaya.Containers.Pattern.IntMap

Documentation

data IntMapF a r

Constructors

NilF

TipF Key a

BinF Prefix Mask r r

Instances

Eq2 IntMapF

Defined in Yaya.Containers.Pattern.IntMap

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> IntMapF a c -> IntMapF b d -> Bool

Ord2 IntMapF

Defined in Yaya.Containers.Pattern.IntMap

Methods

liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> IntMapF a c -> IntMapF b d -> Ordering

Read2 IntMapF

Since: 0.1.2.0

Defined in Yaya.Containers.Pattern.IntMap

Methods

liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (IntMapF a b)

liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [IntMapF a b]

liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (IntMapF a b)

liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [IntMapF a b]

Show2 IntMapF

Defined in Yaya.Containers.Pattern.IntMap

Methods

liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> IntMapF a b -> ShowS

liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [IntMapF a b] -> ShowS

Projectable (->) (IntMap a :: Type) (IntMapF a :: Type -> Type)

Defined in Yaya.Containers.Pattern.IntMap

Methods

project :: Coalgebra (->) (IntMapF a) (IntMap a)

Recursive (->) (IntMap a :: Type) (IntMapF a :: Type -> Type)

Defined in Yaya.Containers.Pattern.IntMap

Methods

cata :: forall (a0 :: k1). Algebra (->) (IntMapF a) a0 -> IntMap a -> a0

Generic1 (IntMapF a :: Type -> Type)

Defined in Yaya.Containers.Pattern.IntMap

Associated Types

type Rep1 (IntMapF a) :: k -> Type

Methods

from1 :: forall (a0 :: k). IntMapF a a0 -> Rep1 (IntMapF a) a0

to1 :: forall (a0 :: k). Rep1 (IntMapF a) a0 -> IntMapF a a0

Steppable (->) (IntMap a :: Type) (IntMapF a :: Type -> Type)

Defined in Yaya.Containers.Pattern.IntMap

Methods

embed :: Algebra (->) (IntMapF a) (IntMap a)

Foldable (IntMapF a)

Defined in Yaya.Containers.Pattern.IntMap

Methods

fold :: Monoid m => IntMapF a m -> m

foldMap :: Monoid m => (a0 -> m) -> IntMapF a a0 -> m

foldMap' :: Monoid m => (a0 -> m) -> IntMapF a a0 -> m

foldr :: (a0 -> b -> b) -> b -> IntMapF a a0 -> b

foldr' :: (a0 -> b -> b) -> b -> IntMapF a a0 -> b

foldl :: (b -> a0 -> b) -> b -> IntMapF a a0 -> b

foldl' :: (b -> a0 -> b) -> b -> IntMapF a a0 -> b

foldr1 :: (a0 -> a0 -> a0) -> IntMapF a a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> IntMapF a a0 -> a0

toList :: IntMapF a a0 -> [a0]

null :: IntMapF a a0 -> Bool

length :: IntMapF a a0 -> Int

elem :: Eq a0 => a0 -> IntMapF a a0 -> Bool

maximum :: Ord a0 => IntMapF a a0 -> a0

minimum :: Ord a0 => IntMapF a a0 -> a0

sum :: Num a0 => IntMapF a a0 -> a0

product :: Num a0 => IntMapF a a0 -> a0

Eq a => Eq1 (IntMapF a)

Defined in Yaya.Containers.Pattern.IntMap

Methods

liftEq :: (a0 -> b -> Bool) -> IntMapF a a0 -> IntMapF a b -> Bool

Ord a => Ord1 (IntMapF a)

Defined in Yaya.Containers.Pattern.IntMap

Methods

liftCompare :: (a0 -> b -> Ordering) -> IntMapF a a0 -> IntMapF a b -> Ordering

Read a => Read1 (IntMapF a)

Since: 0.1.2.0

Defined in Yaya.Containers.Pattern.IntMap

Methods

liftReadsPrec :: (Int -> ReadS a0) -> ReadS [a0] -> Int -> ReadS (IntMapF a a0)

liftReadList :: (Int -> ReadS a0) -> ReadS [a0] -> ReadS [IntMapF a a0]

liftReadPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec (IntMapF a a0)

liftReadListPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec [IntMapF a a0]

Show a => Show1 (IntMapF a)

Defined in Yaya.Containers.Pattern.IntMap

Methods

liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> IntMapF a a0 -> ShowS

liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [IntMapF a a0] -> ShowS

Traversable (IntMapF a)

Defined in Yaya.Containers.Pattern.IntMap

Methods

traverse :: Applicative f => (a0 -> f b) -> IntMapF a a0 -> f (IntMapF a b)

sequenceA :: Applicative f => IntMapF a (f a0) -> f (IntMapF a a0)

mapM :: Monad m => (a0 -> m b) -> IntMapF a a0 -> m (IntMapF a b)

sequence :: Monad m => IntMapF a (m a0) -> m (IntMapF a a0)

Functor (IntMapF a)

Defined in Yaya.Containers.Pattern.IntMap

Methods

fmap :: (a0 -> b) -> IntMapF a a0 -> IntMapF a b

(<$) :: a0 -> IntMapF a b -> IntMapF a a0

Generic (IntMapF a r)

Defined in Yaya.Containers.Pattern.IntMap

Associated Types

type Rep (IntMapF a r) :: Type -> Type

Methods

from :: IntMapF a r -> Rep (IntMapF a r) x

to :: Rep (IntMapF a r) x -> IntMapF a r

(Read a, Read r) => Read (IntMapF a r)

Since: 0.1.2.0

Defined in Yaya.Containers.Pattern.IntMap

Methods

readsPrec :: Int -> ReadS (IntMapF a r)

readList :: ReadS [IntMapF a r]

readPrec :: ReadPrec (IntMapF a r)

readListPrec :: ReadPrec [IntMapF a r]

(Show a, Show r) => Show (IntMapF a r)

Defined in Yaya.Containers.Pattern.IntMap

Methods

showsPrec :: Int -> IntMapF a r -> ShowS

show :: IntMapF a r -> String

showList :: [IntMapF a r] -> ShowS

(Eq a, Eq r) => Eq (IntMapF a r)

Defined in Yaya.Containers.Pattern.IntMap

Methods

(==) :: IntMapF a r -> IntMapF a r -> Bool

(/=) :: IntMapF a r -> IntMapF a r -> Bool

(Ord a, Ord r) => Ord (IntMapF a r)

Defined in Yaya.Containers.Pattern.IntMap

Methods

compare :: IntMapF a r -> IntMapF a r -> Ordering

(<) :: IntMapF a r -> IntMapF a r -> Bool

(<=) :: IntMapF a r -> IntMapF a r -> Bool

(>) :: IntMapF a r -> IntMapF a r -> Bool

(>=) :: IntMapF a r -> IntMapF a r -> Bool

max :: IntMapF a r -> IntMapF a r -> IntMapF a r

min :: IntMapF a r -> IntMapF a r -> IntMapF a r

type Rep1 (IntMapF a :: Type -> Type)

Defined in Yaya.Containers.Pattern.IntMap

type Rep1 (IntMapF a :: Type -> Type) = D1 ('MetaData "IntMapF" "Yaya.Containers.Pattern.IntMap" "yaya-containers-0.1.2.0-BwdIpLbzUP2IDIyNLjx0nV" 'False) (C1 ('MetaCons "NilF" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TipF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Key) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "BinF" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Prefix) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Mask)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1))))

type Rep (IntMapF a r)

Defined in Yaya.Containers.Pattern.IntMap

type Rep (IntMapF a r) = D1 ('MetaData "IntMapF" "Yaya.Containers.Pattern.IntMap" "yaya-containers-0.1.2.0-BwdIpLbzUP2IDIyNLjx0nV" 'False) (C1 ('MetaCons "NilF" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TipF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Key) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "BinF" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Prefix) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Mask)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 r) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 r)))))

Orphan instances

Projectable (->) (IntMap a :: Type) (IntMapF a :: Type -> Type)

Methods

project :: Coalgebra (->) (IntMapF a) (IntMap a)

Recursive (->) (IntMap a :: Type) (IntMapF a :: Type -> Type)

Methods

cata :: forall (a0 :: k1). Algebra (->) (IntMapF a) a0 -> IntMap a -> a0

Steppable (->) (IntMap a :: Type) (IntMapF a :: Type -> Type)

Methods

embed :: Algebra (->) (IntMapF a) (IntMap a)