Safe Haskell	None
Language	Haskell2010

Test.Util.RefEnv

Synopsis

data RefEnv k a (r ∷ Type → Type)
elems ∷ ∀ k a (r ∷ Type → Type). RefEnv k a r → [a]
empty ∷ ∀ k a (r ∷ Type → Type). RefEnv k a r
filter ∷ ∀ a k (r ∷ Type → Type). (a → Bool) → RefEnv k a r → RefEnv k a r
fromList ∷ ∀ k a (r ∷ Type → Type). (Eq k, Show k, Eq a, Show a, Eq1 r, Show1 r, HasCallStack) ⇒ [(Reference k r, a)] → RefEnv k a r
keys ∷ ∀ k a (r ∷ Type → Type). RefEnv k a r → [Reference k r]
lookup ∷ ∀ k (r ∷ Type → Type) a. (Eq k, Eq1 r) ⇒ Reference k r → RefEnv k a r → Maybe a
null ∷ ∀ k a (r ∷ Type → Type). RefEnv k a r → Bool
reverseLookup ∷ ∀ a k (r ∷ Type → Type). (a → Bool) → RefEnv k a r → [Reference k r]
singleton ∷ ∀ k (r ∷ Type → Type) a. Reference k r → a → RefEnv k a r
toList ∷ RefEnv k a r → [(Reference k r, a)]
union ∷ ∀ k a (r ∷ Type → Type). (Eq k, Show k, Eq a, Show a, Eq1 r, Show1 r, HasCallStack) ⇒ RefEnv k a r → RefEnv k a r → RefEnv k a r
(!) ∷ ∀ k (r ∷ Type → Type) a. (Eq k, Eq1 r) ⇒ RefEnv k a r → Reference k r → a

Documentation

data RefEnv k a (r ∷ Type → Type) Source #

Instances

Instances details

Foldable (RefEnv k a ∷ (Type → Type) → Type) Source #

Instance details

Defined in Test.Util.RefEnv

Methods

foldMap ∷ Monoid m ⇒ (∀ x. p x → m) → RefEnv k a p → m

Functor (RefEnv k a ∷ (Type → Type) → Type) Source #

Instance details

Defined in Test.Util.RefEnv

Methods

fmap ∷ (∀ x. p x → q x) → RefEnv k a p → RefEnv k a q

Traversable (RefEnv k a ∷ (Type → Type) → Type) Source #

Instance details

Defined in Test.Util.RefEnv

Methods

traverse ∷ Applicative f ⇒ (∀ a0. p a0 → f (q a0)) → RefEnv k a p → f (RefEnv k a q)

Generic (RefEnv k a r) Source #

Instance details

Defined in Test.Util.RefEnv

Associated Types

type Rep (RefEnv k a r)
Instance details Defined in Test.Util.RefEnv type Rep (RefEnv k a r) = D1 ('MetaData "RefEnv" "Test.Util.RefEnv" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "RefEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "toList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Reference k r, a)])))

Methods

from ∷ RefEnv k a r → Rep (RefEnv k a r) x #

to ∷ Rep (RefEnv k a r) x → RefEnv k a r #

(Show1 r, Show k, Show a) ⇒ Show (RefEnv k a r) Source #

Instance details

Defined in Test.Util.RefEnv

Methods

showsPrec ∷ Int → RefEnv k a r → ShowS #

show ∷ RefEnv k a r → String #

showList ∷ [RefEnv k a r] → ShowS #

(ToExpr a, ToExpr (r k)) ⇒ ToExpr (RefEnv k a r) Source #

Instance details

Defined in Test.Util.RefEnv

Methods

toExpr ∷ RefEnv k a r → Expr Source #

listToExpr ∷ [RefEnv k a r] → Expr Source #

type Rep (RefEnv k a r) Source #

Instance details

Defined in Test.Util.RefEnv

type Rep (RefEnv k a r) = D1 ('MetaData "RefEnv" "Test.Util.RefEnv" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "RefEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "toList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Reference k r, a)])))

elems ∷ ∀ k a (r ∷ Type → Type). RefEnv k a r → [a] Source #

empty ∷ ∀ k a (r ∷ Type → Type). RefEnv k a r Source #

Empty environment

In most context mempty can be used, but the Monoid instance requires equality, which empty does not.

filter ∷ ∀ a k (r ∷ Type → Type). (a → Bool) → RefEnv k a r → RefEnv k a r Source #

fromList ∷ ∀ k a (r ∷ Type → Type). (Eq k, Show k, Eq a, Show a, Eq1 r, Show1 r, HasCallStack) ⇒ [(Reference k r, a)] → RefEnv k a r Source #

keys ∷ ∀ k a (r ∷ Type → Type). RefEnv k a r → [Reference k r] Source #

lookup ∷ ∀ k (r ∷ Type → Type) a. (Eq k, Eq1 r) ⇒ Reference k r → RefEnv k a r → Maybe a Source #

null ∷ ∀ k a (r ∷ Type → Type). RefEnv k a r → Bool Source #

reverseLookup ∷ ∀ a k (r ∷ Type → Type). (a → Bool) → RefEnv k a r → [Reference k r] Source #

singleton ∷ ∀ k (r ∷ Type → Type) a. Reference k r → a → RefEnv k a r Source #

toList ∷ RefEnv k a r → [(Reference k r, a)] Source #

union ∷ ∀ k a (r ∷ Type → Type). (Eq k, Show k, Eq a, Show a, Eq1 r, Show1 r, HasCallStack) ⇒ RefEnv k a r → RefEnv k a r → RefEnv k a r Source #

(!) ∷ ∀ k (r ∷ Type → Type) a. (Eq k, Eq1 r) ⇒ RefEnv k a r → Reference k r → a Source #