Copyright | (c) Reed Mullanix 2019 |
---|---|
License | BSD-style |
Maintainer | reedmullanix@gmail.com |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
newtype ProofStateT ext m jdg Source #
ProofStateT | |
|
Instances
axiom :: Monad m => ext -> ProofStateT ext m jdg Source #
mapExtract :: Monad m => (ext -> ext') -> (ext' -> ext) -> ProofStateT ext m jdg -> ProofStateT ext' m jdg Source #