Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class HasErrorSrcPos a where
- withoutEsp :: a -> a
Documentation
class HasErrorSrcPos a where Source #
Class of types with ErrorSrcPos
allowing to remove it.
Can be used in tests when we want to compare only values without source positions.
withoutEsp :: a -> a Source #
Instances
HasErrorSrcPos Value Source # | |
Defined in Test.Cleveland.Instances withoutEsp :: Value -> Value Source # | |
HasErrorSrcPos ExpandedInstr Source # | |
Defined in Test.Cleveland.Instances withoutEsp :: ExpandedInstr -> ExpandedInstr Source # | |
HasErrorSrcPos ExpandedOp Source # | |
Defined in Test.Cleveland.Instances withoutEsp :: ExpandedOp -> ExpandedOp Source # |
Orphan instances
IsString MText Source # | |
fromString :: String -> MText # | |
IsString ContractAlias Source # | |
fromString :: String -> ContractAlias # | |
IsString ImplicitAlias Source # | |
fromString :: String -> ImplicitAlias # | |
Num Mutez Source # | |
Integral Mutez Source # | |
Real Mutez Source # | |
toRational :: Mutez -> Rational # | |
Default EpName Source # | |
Buildable ByteString Source # | |
build :: ByteString -> Builder # | |
Buildable FailureReason Source # | |
build :: FailureReason -> Builder # | |
Buildable LByteString Source # | |
build :: LByteString -> Builder # | |
Buildable () Source # | |
NiceEntrypointName sym => IsLabel sym EpName Source # | |
mname ~ ('Nothing :: Maybe Symbol) => Default (EntrypointRef mname) Source # | |
def :: EntrypointRef mname # | |
IsString (Annotation tag) Source # | |
fromString :: String -> Annotation tag # | |
Ord k => Monoid (BigMap k v) Source # | This instance is declared in this test module because it's not lawful, i.e. it breaks the right and left-identity laws: x = BigMap (Just 1) mempty :: BigMap Int Int bmId (x <> mempty) == bmId x False bmId (mempty <> x) == bmId x False |
(Buildable a, Buildable b) => Buildable (Either a b) Source # | |
(Buildable a, Buildable b) => Buildable (a, b) Source # | |
(Eq k, Eq v) => Eq (BigMap k v) Source # | This instance is declared in this test module because it's not lawful, i.e. it breaks the substitutivity law. This laws says that x = BigMap (Just 1) mempty :: BigMap Int Int y = BigMap (Just 2) mempty :: BigMap Int Int x == y True bmId x == bmId y False |
(Buildable a, Buildable b, Buildable c) => Buildable (a, b, c) Source # | |
(Buildable a, Buildable b, Buildable c, Buildable d) => Buildable (a, b, c, d) Source # | |
(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e) => Buildable (a, b, c, d, e) Source # | |
(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f) => Buildable (a, b, c, d, e, f) Source # | |
(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f, Buildable g) => Buildable (a, b, c, d, e, f, g) Source # | |
(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f, Buildable g, Buildable h) => Buildable (a, b, c, d, e, f, g, h) Source # | |