Test.Cleveland.Instances

Documentation

class HasErrorSrcPos a where

Class of types with ErrorSrcPos allowing to remove it. Can be used in tests when we want to compare only values without source positions.

Methods

withoutEsp :: a -> a

Instances

HasErrorSrcPos Value

Defined in Test.Cleveland.Instances

Methods

withoutEsp :: Value -> Value

HasErrorSrcPos ExpandedInstr

Defined in Test.Cleveland.Instances

Methods

withoutEsp :: ExpandedInstr -> ExpandedInstr

HasErrorSrcPos ExpandedOp

Defined in Test.Cleveland.Instances

Methods

withoutEsp :: ExpandedOp -> ExpandedOp

Orphan instances

IsString MText

Methods

fromString :: String -> MText

IsString ContractAlias

Methods

fromString :: String -> ContractAlias

IsString ImplicitAlias

Methods

fromString :: String -> ImplicitAlias

Num Mutez

Methods

(+) :: Mutez -> Mutez -> Mutez

(-) :: Mutez -> Mutez -> Mutez

(*) :: Mutez -> Mutez -> Mutez

negate :: Mutez -> Mutez

abs :: Mutez -> Mutez

signum :: Mutez -> Mutez

fromInteger :: Integer -> Mutez

Integral Mutez

Methods

quot :: Mutez -> Mutez -> Mutez

rem :: Mutez -> Mutez -> Mutez

div :: Mutez -> Mutez -> Mutez

mod :: Mutez -> Mutez -> Mutez

quotRem :: Mutez -> Mutez -> (Mutez, Mutez)

divMod :: Mutez -> Mutez -> (Mutez, Mutez)

toInteger :: Mutez -> Integer

Real Mutez

Methods

toRational :: Mutez -> Rational

Default EpName

Methods

def :: EpName

Buildable ByteString

Methods

build :: ByteString -> Builder

Buildable FailureReason

Methods

build :: FailureReason -> Builder

Buildable LByteString

Methods

build :: LByteString -> Builder

Buildable ()

Methods

build :: () -> Builder

NiceEntrypointName sym => IsLabel sym EpName

Methods

fromLabel :: EpName

mname ~ ('Nothing :: Maybe Symbol) => Default (EntrypointRef mname)

Methods

def :: EntrypointRef mname

IsString (Annotation tag)

Methods

fromString :: String -> Annotation tag

Ord k => Monoid (BigMap k v)

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

Methods

mempty :: BigMap k v

mappend :: BigMap k v -> BigMap k v -> BigMap k v

mconcat :: [BigMap k v] -> BigMap k v

(Buildable a, Buildable b) => Buildable (Either a b)

Methods

build :: Either a b -> Builder

(Buildable a, Buildable b) => Buildable (a, b)

Methods

build :: (a, b) -> Builder

(Eq k, Eq v) => Eq (BigMap k v)

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 == y implies f x == f y, however:

x = BigMap (Just 1) mempty :: BigMap Int Int
y = BigMap (Just 2) mempty :: BigMap Int Int
x == y
True
bmId x == bmId y
False

Methods

(==) :: BigMap k v -> BigMap k v -> Bool

(/=) :: BigMap k v -> BigMap k v -> Bool

(Buildable a, Buildable b, Buildable c) => Buildable (a, b, c)

Methods

build :: (a, b, c) -> Builder

(Buildable a, Buildable b, Buildable c, Buildable d) => Buildable (a, b, c, d)

Methods

build :: (a, b, c, d) -> Builder

(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e) => Buildable (a, b, c, d, e)

Methods

build :: (a, b, c, d, e) -> Builder

(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f) => Buildable (a, b, c, d, e, f)

Methods

build :: (a, b, c, d, e, f) -> Builder

(Buildable a, Buildable b, Buildable c, Buildable d, Buildable e, Buildable f, Buildable g) => Buildable (a, b, c, d, e, f, g)

Methods

build :: (a, b, c, d, e, f, g) -> Builder

(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)

Methods

build :: (a, b, c, d, e, f, g, h) -> Builder