Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Ledger.Tables.Combinators

4 types
19 values

Packageouroboros-consensus-4.2.1.0
Exports23
LicenceApache-2.0

valuefn2_1 :: (f a b -> g a b) -> (-..->) f g a b

valuefn2_2 :: (f a b -> f' a b -> f'' a b) -> (-..->) f (f' -..-> f'') a b

valuefn2_3

:: f a b -> f' a b -> f'' a b -> f''' a b
-> (-..->) f (f' -..-> (f'' -..-> f''')) a b

valuefn2_4

:: f a b -> f' a b -> f'' a b -> f''' a b -> f'''' a b
-> (-..->) f (f' -..-> (f'' -..-> (f''' -..-> f''''))) a b

valueltap

:: LedgerTableConstraints l
=> LedgerTables l (mk1 -..-> mk2)
-> LedgerTables l mk1
-> LedgerTables l mk2

valueltcollapse :: LedgerTables l (K2 a) -> a

valueltliftA

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v
-> LedgerTables l mk1
-> LedgerTables l mk2

valueltliftA2

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v -> mk3 k v
-> LedgerTables l mk1
-> LedgerTables l mk2
-> LedgerTables l mk3

valueltliftA3

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v -> mk3 k v -> mk4 k v
-> LedgerTables l mk1
-> LedgerTables l mk2
-> LedgerTables l mk3
-> LedgerTables l mk4

valueltliftA4

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v -> mk3 k v -> mk4 k v -> mk5 k v
-> LedgerTables l mk1
-> LedgerTables l mk2
-> LedgerTables l mk3
-> LedgerTables l mk4
-> LedgerTables l mk5

valueltmap

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v
-> LedgerTables l mk1
-> LedgerTables l mk2

valueltprod

:: LedgerTables l f
-> LedgerTables l g
-> LedgerTables l (Product2 f g)

valueltpure

:: LedgerTableConstraints l
=> forall k v. LedgerTableConstraints' l k v => mk k v
-> LedgerTables l mk

valueltsequence

:: (Applicative f, LedgerTableConstraints l)
=> LedgerTables l (f :..: mk)
-> f (LedgerTables l mk)

valuelttraverse

:: (Applicative f, LedgerTableConstraints l)
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> f (mk2 k v)
-> LedgerTables l mk1
-> f (LedgerTables l mk2)

valueltzipWith2A

:: (Applicative f, LedgerTableConstraints l)
=> forall k v. LedgerTableConstraints' l k v => mk1 k v -> mk2 k v -> f (mk3 k v)
-> LedgerTables l mk1
-> LedgerTables l mk2
-> f (LedgerTables l mk3)

value(...:)

:: y -> z
-> x0 -> x1 -> x2 -> x3 -> y
-> x0
-> x1
-> x2
-> x3
-> z

value(..:) :: (y -> z) -> (x0 -> x1 -> x2 -> y) -> x0 -> x1 -> x2 -> z

value(.:) :: (y -> z) -> (x0 -> x1 -> y) -> x0 -> x1 -> z

newtypenewtype (-..->) (f :: k1 -> k2 -> Type) (g :: k1 -> k2 -> Type) (a :: k1) (b :: k2)

Constructors

Fn2
- apFn2 :: f a b -> g a b

newtypenewtype (:..:) (f :: k3 -> Type) (g :: k1 -> k2 -> k3) (a :: k1) (b :: k2)

Constructors

Comp2
- unComp2 :: f (g a b)

Instances8Bifunctor, Functor, Foldable, Traversable, Eq, Show, …

(Functor f, Bifunctor g) => Bifunctor (f :..: g)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
(Functor f, Functor (g a)) => Functor ((:..:) f g a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
(Foldable f, Foldable (g a)) => Foldable ((:..:) f g a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
(Traversable f, Traversable (g a)) => Traversable ((:..:) f g a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Eq (f (g a b)) => Eq ((:..:) f g a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Show (f (g a b)) => Show ((:..:) f g a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Semigroup (f (g a b)) => Semigroup ((:..:) f g a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Monoid (f (g a b)) => Monoid ((:..:) f g a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators

newtypenewtype K2 a (b :: k1) (c :: k2)

Constructors

K2
- unK2 :: a

Instances8Bifunctor, Functor, Foldable, Traversable, Eq, Show, …

Bifunctor (K2 a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Functor (K2 a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Foldable (K2 a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Traversable (K2 a b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Eq a => Eq (K2 a b c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Show a => Show (K2 a b c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Semigroup a => Semigroup (K2 a b c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators
Monoid a => Monoid (K2 a b c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators

typetype LedgerTableConstraints blk = (Ord (TxIn blk), Eq (TxOut blk))

Orphan instances

2 instances

(forall k v. LedgerTableConstraints' blk k v => Semigroup (mk k v), LedgerTableConstraints blk) => Semigroup (LedgerTables blk mk)
(forall k v. LedgerTableConstraints' l k v => Monoid (mk k v), LedgerTableConstraints l) => Monoid (LedgerTables l mk)