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
Foldable (RefEnv k a ∷ (Type → Type) → Type) Source # | |||||
Functor (RefEnv k a ∷ (Type → Type) → Type) Source # | |||||
Traversable (RefEnv k a ∷ (Type → Type) → Type) Source # | |||||
Defined in Test.Util.RefEnv | |||||
Generic (RefEnv k a r) Source # | |||||
Defined in Test.Util.RefEnv Associated Types
| |||||
(Show1 r, Show k, Show a) ⇒ Show (RefEnv k a r) Source # | |||||
(ToExpr a, ToExpr (r k)) ⇒ ToExpr (RefEnv k a r) Source # | |||||
type Rep (RefEnv k a r) Source # | |||||
Defined in Test.Util.RefEnv |
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 #