| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Env
Contents
Description
Provides variables (V era t), and mappings of them to objects of type t
Synopsis
- data V era t where
- pV ∷ Proof era → String → Rep era t → Access era s t → V era t
- data Field era s t where
- data AnyF era s where
- vToField ∷ Era era ⇒ Rep era s → V era t → Typed (Field era s t)
- fieldToV ∷ Era era ⇒ Field era s t → Typed (V era t)
- newtype Env era = Env (Map String (Payload era))
- data Payload era where
- emptyEnv ∷ Env era
- findVar ∷ V era t → Env era → Typed t
- storeVar ∷ V era t → t → Env era → Env era
- findName ∷ Name era → Env era → Maybe (Payload era)
- storeName ∷ Name era → Payload era → Env era → Env era
- restrictEnv ∷ [Name era] → Env era → Env era
- data P era where
- bulkStore ∷ [P era] → Env era → Env era
- data Name era where
- data Access era s t where
- otherFromEnv ∷ [String] → Env era → [String]
- sameName ∷ V era t → V era s → Maybe (t :~: s)
Documentation
A proto variable. May or may not contain a Lens (encoded as Access)
Bundled Patterns
| pattern V ∷ () ⇒ Era era ⇒ String → Rep era t → Access era s t → V era t | We make hashing of |
pV ∷ Proof era → String → Rep era t → Access era s t → V era t Source #
Construct a V, dsicharging the (Era era) constraint, using the Proof
data Field era s t where Source #
Fields are like V, except they expose the type of the Lens
restrictEnv ∷ [Name era] → Env era → Env era Source #
Drop any names that are not in the given list from an environment.
An existentially quantified (V era t), hiding the t
The Hashable instance is inherited from V
Instances
| Show (Name era) Source # | |
| Eq (Name era) Source # | Does not satisfy extensionality |
| Ord (Name era) Source # | |
Defined in Test.Cardano.Ledger.Constrained.Env | |
| Era era ⇒ Hashable (Name era) Source # | |
Orphan instances
| Eq (Proof e) Source # | |
| Hashable (Shape a) Source # | Inheriting the Hashable instancefor types that have Shapes, Works for types whose
Shaped instances don't mention |
| Hashable (Proof e) Source # | |
| Eq (Rep e t) Source # | |
| Hashable (Rep e t) Source # | |