Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Morley.Michelson.Typed.Scope.Internal.CheckScope
Synopsis
- class CheckScope (c :: Constraint) where
- checkScope :: Either BadTypeForScope (Dict c)
Documentation
class CheckScope (c :: Constraint) where Source #
Should be present for common scopes.
Methods
checkScope :: Either BadTypeForScope (Dict c) Source #
Check that constraint hold for a given type.