Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- subMap ∷ (Ord k, IsNormalType v, HasSpec fn k, HasSpec fn v) ⇒ Specification fn (Map k v, Map k v)
- subMapSubDependsOnSuper ∷ (Ord k, IsNormalType v, HasSpec fn k, HasSpec fn v) ⇒ Term fn (Map k v) → Term fn (Map k v) → Pred fn
- subMapSuperDependsOnSub ∷ (Ord k, IsNormalType v, HasSpec fn k, HasSpec fn v) ⇒ Term fn (Map k v) → Term fn (Map k v) → Pred fn
- putPretty ∷ PrettyA t ⇒ [Char] → t → IO ()
- test1 ∷ IO ()
- test2 ∷ IO ()
- foo ∷ IO (Map Int Int, Map Int Int)
- bodyspec ∷ ∀ era fn. (EraSpecTxOut era fn, EraSpecCert era fn) ⇒ UTxO era → CertsEnv era → CertState era → Specification fn (ShelleyTxBody era, Map (TxIn (EraCrypto era)) (TxOut era), TxIn (EraCrypto era))
- seqToList ∷ IsConwayUniv fn ⇒ HasSpec fn t ⇒ Specification fn (Seq t, [t])
- testUTxO ∷ ∀ era. (Era era, HasSpec ConwayFn (TxOut era)) ⇒ IO (Map (TxIn (EraCrypto era)) (TxOut era))
- go ∷ ∀ era. (EraSpecTxOut era ConwayFn, EraSpecCert era ConwayFn, HasSpec ConwayFn (Tx era)) ⇒ IO ()
- sumCoin_ ∷ ∀ fn era. EraSpecTxOut era fn ⇒ Term fn [TxOut era] → Term fn Coin
- bodyspec2 ∷ ∀ era fn. (EraSpecTxOut era fn, EraSpecCert era fn) ⇒ CertsEnv era → CertState era → Specification fn (ShelleyTxBody era, Map (TxIn (EraCrypto era)) (TxOut era), TxIn (EraCrypto era))
- baz ∷ EraTxOut era ⇒ TxOut era → TxOut era
- go2 ∷ ∀ era. (EraSpecTxOut era ConwayFn, EraSpecCert era ConwayFn, HasSpec ConwayFn (Tx era)) ⇒ IO ()
Documentation
subMap ∷ (Ord k, IsNormalType v, HasSpec fn k, HasSpec fn v) ⇒ Specification fn (Map k v, Map k v) Source #
subMapSubDependsOnSuper ∷ (Ord k, IsNormalType v, HasSpec fn k, HasSpec fn v) ⇒ Term fn (Map k v) → Term fn (Map k v) → Pred fn Source #
subMapSuperDependsOnSub ∷ (Ord k, IsNormalType v, HasSpec fn k, HasSpec fn v) ⇒ Term fn (Map k v) → Term fn (Map k v) → Pred fn Source #
bodyspec ∷ ∀ era fn. (EraSpecTxOut era fn, EraSpecCert era fn) ⇒ UTxO era → CertsEnv era → CertState era → Specification fn (ShelleyTxBody era, Map (TxIn (EraCrypto era)) (TxOut era), TxIn (EraCrypto era)) Source #
seqToList ∷ IsConwayUniv fn ⇒ HasSpec fn t ⇒ Specification fn (Seq t, [t]) Source #
testUTxO ∷ ∀ era. (Era era, HasSpec ConwayFn (TxOut era)) ⇒ IO (Map (TxIn (EraCrypto era)) (TxOut era)) Source #
go ∷ ∀ era. (EraSpecTxOut era ConwayFn, EraSpecCert era ConwayFn, HasSpec ConwayFn (Tx era)) ⇒ IO () Source #
Exercise the bodyspec
bodyspec2 ∷ ∀ era fn. (EraSpecTxOut era fn, EraSpecCert era fn) ⇒ CertsEnv era → CertState era → Specification fn (ShelleyTxBody era, Map (TxIn (EraCrypto era)) (TxOut era), TxIn (EraCrypto era)) Source #