Tezos.Core

Core primitive Tezos types.

Mutez

data Mutez

Mutez is a wrapper over integer data type. 1 mutez is 1 token (μTz).

Instances

Bounded Mutez

Defined in Tezos.Core

Methods

minBound :: Mutez

maxBound :: Mutez

Enum Mutez

Defined in Tezos.Core

Methods

succ :: Mutez -> Mutez

pred :: Mutez -> Mutez

toEnum :: Int -> Mutez

fromEnum :: Mutez -> Int

enumFrom :: Mutez -> [Mutez]

enumFromThen :: Mutez -> Mutez -> [Mutez]

enumFromTo :: Mutez -> Mutez -> [Mutez]

enumFromThenTo :: Mutez -> Mutez -> Mutez -> [Mutez]

Eq Mutez

Defined in Tezos.Core

Methods

(==) :: Mutez -> Mutez -> Bool

(/=) :: Mutez -> Mutez -> Bool

Data Mutez

Defined in Tezos.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mutez -> c Mutez

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mutez

toConstr :: Mutez -> Constr

dataTypeOf :: Mutez -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Mutez)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mutez)

gmapT :: (forall b. Data b => b -> b) -> Mutez -> Mutez

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mutez -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mutez -> r

gmapQ :: (forall d. Data d => d -> u) -> Mutez -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Mutez -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Mutez -> m Mutez

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Mutez -> m Mutez

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Mutez -> m Mutez

Ord Mutez

Defined in Tezos.Core

Methods

compare :: Mutez -> Mutez -> Ordering

(<) :: Mutez -> Mutez -> Bool

(<=) :: Mutez -> Mutez -> Bool

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

(>=) :: Mutez -> Mutez -> Bool

max :: Mutez -> Mutez -> Mutez

min :: Mutez -> Mutez -> Mutez

Show Mutez

Defined in Tezos.Core

Methods

showsPrec :: Int -> Mutez -> ShowS

show :: Mutez -> String

showList :: [Mutez] -> ShowS

Generic Mutez

Defined in Tezos.Core

Associated Types

type Rep Mutez :: Type -> Type

Methods

from :: Mutez -> Rep Mutez x

to :: Rep Mutez x -> Mutez

Arbitrary Mutez

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen Mutez

shrink :: Mutez -> [Mutez]

ToJSON Mutez

Defined in Tezos.Core

Methods

toJSON :: Mutez -> Value

toEncoding :: Mutez -> Encoding

toJSONList :: [Mutez] -> Value

toEncodingList :: [Mutez] -> Encoding

FromJSON Mutez

Defined in Tezos.Core

Methods

parseJSON :: Value -> Parser Mutez

parseJSONList :: Value -> Parser [Mutez]

Buildable Mutez

Defined in Tezos.Core

Methods

build :: Mutez -> Builder

ToADTArbitrary Mutez

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy Mutez -> Gen (ADTArbitrarySingleton Mutez)

toADTArbitrary :: Proxy Mutez -> Gen (ADTArbitrary Mutez)

IsoValue Mutez

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToT Mutez :: T

Methods

toVal :: Mutez -> Value (ToT Mutez)

fromVal :: Value (ToT Mutez) -> Mutez

IsoCValue Mutez

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToCT Mutez :: CT

Methods

toCVal :: Mutez -> CValue (ToCT Mutez)

fromCVal :: CValue (ToCT Mutez) -> Mutez

EDivOpHs Mutez Natural

Defined in Lorentz.Polymorphic

Associated Types

type EDivOpResHs Mutez Natural :: Type

type EModOpResHs Mutez Natural :: Type

EDivOpHs Mutez Mutez

Defined in Lorentz.Polymorphic

Associated Types

type EDivOpResHs Mutez Mutez :: Type

type EModOpResHs Mutez Mutez :: Type

ArithOpHs Compare Mutez Mutez

Defined in Lorentz.Arith

Associated Types

type ArithResHs Compare Mutez Mutez :: Type

ArithOpHs Mul Natural Mutez

Defined in Lorentz.Arith

Associated Types

type ArithResHs Mul Natural Mutez :: Type

ArithOpHs Mul Mutez Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Mul Mutez Natural :: Type

ArithOpHs Sub Mutez Mutez

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Mutez Mutez :: Type

ArithOpHs Add Mutez Mutez

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Mutez Mutez :: Type

type Rep Mutez

Defined in Tezos.Core

type Rep Mutez = D1 (MetaData "Mutez" "Tezos.Core" "morley-0.3.0-7oMtJCcnhvo7MqJS85kloi" True) (C1 (MetaCons "Mutez" PrefixI True) (S1 (MetaSel (Just "unMutez") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)))

type ToT Mutez

Defined in Michelson.Typed.Haskell.Value

type ToT Mutez = Tc (ToCT Mutez)

type ToCT Mutez

Defined in Michelson.Typed.Haskell.Value

type ToCT Mutez = CMutez

type EDivOpResHs Mutez Natural

Defined in Lorentz.Polymorphic

type EDivOpResHs Mutez Natural = Mutez

type EDivOpResHs Mutez Mutez

Defined in Lorentz.Polymorphic

type EDivOpResHs Mutez Mutez = Natural

type EModOpResHs Mutez Natural

Defined in Lorentz.Polymorphic

type EModOpResHs Mutez Natural = Mutez

type EModOpResHs Mutez Mutez

Defined in Lorentz.Polymorphic

type EModOpResHs Mutez Mutez = Mutez

type ArithResHs Compare Mutez Mutez

Defined in Lorentz.Arith

type ArithResHs Compare Mutez Mutez = Integer

type ArithResHs Mul Natural Mutez

Defined in Lorentz.Arith

type ArithResHs Mul Natural Mutez = Mutez

type ArithResHs Mul Mutez Natural

Defined in Lorentz.Arith

type ArithResHs Mul Mutez Natural = Mutez

type ArithResHs Sub Mutez Mutez

Defined in Lorentz.Arith

type ArithResHs Sub Mutez Mutez = Mutez

type ArithResHs Add Mutez Mutez

Defined in Lorentz.Arith

type ArithResHs Add Mutez Mutez = Mutez

mkMutez :: Word64 -> Maybe Mutez

Safely create Mutez checking for overflow.

unsafeMkMutez :: HasCallStack => Word64 -> Mutez

Partial function for Mutez creation, it's pre-condition is that the argument must not exceed the maximal Mutez value.

toMutez :: Word32 -> Mutez

Safely create Mutez.

This is recommended way to create Mutez from a numeric literal; you can't construct all valid Mutez values using this function but for small values it works neat.

Warnings displayed when trying to construct invalid Natural or Word literal are hardcoded for these types in GHC implementation, so we can only exploit these existing rules.

addMutez :: Mutez -> Mutez -> Maybe Mutez

Addition of Mutez values. Returns Nothing in case of overflow.

unsafeAddMutez :: HasCallStack => Mutez -> Mutez -> Mutez

Partial addition of Mutez, should be used only if you're sure there'll be no overflow.

subMutez :: Mutez -> Mutez -> Maybe Mutez

Subtraction of Mutez values. Returns Nothing when the subtrahend is greater than the minuend, and Just otherwise.

unsafeSubMutez :: HasCallStack => Mutez -> Mutez -> Mutez

Partial subtraction of Mutez, should be used only if you're sure there'll be no underflow.

mulMutez :: Integral a => Mutez -> a -> Maybe Mutez

Multiplication of Mutez and an integral number. Returns Nothing in case of overflow.

divModMutez :: Mutez -> Mutez -> Maybe (Word64, Mutez)

Euclidian division of two Mutez values.

divModMutezInt :: Integral a => Mutez -> a -> Maybe (Mutez, Mutez)

Euclidian division of Mutez and a number.

Timestamp

newtype Timestamp

Time in the real world. Use the functions below to convert it to/from Unix time in seconds.

Constructors

Timestamp

Fields

• unTimestamp :: POSIXTime

Instances

Eq Timestamp

Defined in Tezos.Core

Methods

(==) :: Timestamp -> Timestamp -> Bool

(/=) :: Timestamp -> Timestamp -> Bool

Data Timestamp

Defined in Tezos.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Timestamp -> c Timestamp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Timestamp

toConstr :: Timestamp -> Constr

dataTypeOf :: Timestamp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Timestamp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Timestamp)

gmapT :: (forall b. Data b => b -> b) -> Timestamp -> Timestamp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Timestamp -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Timestamp -> r

gmapQ :: (forall d. Data d => d -> u) -> Timestamp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Timestamp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Timestamp -> m Timestamp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Timestamp -> m Timestamp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Timestamp -> m Timestamp

Ord Timestamp

Defined in Tezos.Core

Methods

compare :: Timestamp -> Timestamp -> Ordering

(<) :: Timestamp -> Timestamp -> Bool

(<=) :: Timestamp -> Timestamp -> Bool

(>) :: Timestamp -> Timestamp -> Bool

(>=) :: Timestamp -> Timestamp -> Bool

max :: Timestamp -> Timestamp -> Timestamp

min :: Timestamp -> Timestamp -> Timestamp

Show Timestamp

Defined in Tezos.Core

Methods

showsPrec :: Int -> Timestamp -> ShowS

show :: Timestamp -> String

showList :: [Timestamp] -> ShowS

Generic Timestamp

Defined in Tezos.Core

Associated Types

type Rep Timestamp :: Type -> Type

Methods

from :: Timestamp -> Rep Timestamp x

to :: Rep Timestamp x -> Timestamp

Arbitrary Timestamp

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen Timestamp

shrink :: Timestamp -> [Timestamp]

ToJSON Timestamp

Defined in Tezos.Core

Methods

toJSON :: Timestamp -> Value

toEncoding :: Timestamp -> Encoding

toJSONList :: [Timestamp] -> Value

toEncodingList :: [Timestamp] -> Encoding

FromJSON Timestamp

Defined in Tezos.Core

Methods

parseJSON :: Value -> Parser Timestamp

parseJSONList :: Value -> Parser [Timestamp]

Buildable Timestamp

Defined in Tezos.Core

Methods

build :: Timestamp -> Builder

IsoValue Timestamp

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToT Timestamp :: T

Methods

toVal :: Timestamp -> Value (ToT Timestamp)

fromVal :: Value (ToT Timestamp) -> Timestamp

IsoCValue Timestamp

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToCT Timestamp :: CT

Methods

toCVal :: Timestamp -> CValue (ToCT Timestamp)

fromCVal :: CValue (ToCT Timestamp) -> Timestamp

ArithOpHs Compare Timestamp Timestamp

Defined in Lorentz.Arith

Associated Types

type ArithResHs Compare Timestamp Timestamp :: Type

ArithOpHs Sub Timestamp Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Timestamp Integer :: Type

ArithOpHs Sub Timestamp Timestamp

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Timestamp Timestamp :: Type

ArithOpHs Add Integer Timestamp

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Integer Timestamp :: Type

ArithOpHs Add Timestamp Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Timestamp Integer :: Type

type Rep Timestamp

Defined in Tezos.Core

type Rep Timestamp = D1 (MetaData "Timestamp" "Tezos.Core" "morley-0.3.0-7oMtJCcnhvo7MqJS85kloi" True) (C1 (MetaCons "Timestamp" PrefixI True) (S1 (MetaSel (Just "unTimestamp") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 POSIXTime)))

type ToT Timestamp

Defined in Michelson.Typed.Haskell.Value

type ToT Timestamp = Tc (ToCT Timestamp)

type ToCT Timestamp

Defined in Michelson.Typed.Haskell.Value

type ToCT Timestamp = CTimestamp

type ArithResHs Compare Timestamp Timestamp

Defined in Lorentz.Arith

type ArithResHs Compare Timestamp Timestamp = Integer

type ArithResHs Sub Timestamp Integer

Defined in Lorentz.Arith

type ArithResHs Sub Timestamp Integer = Timestamp

type ArithResHs Sub Timestamp Timestamp

Defined in Lorentz.Arith

type ArithResHs Sub Timestamp Timestamp = Integer

type ArithResHs Add Integer Timestamp

Defined in Lorentz.Arith

type ArithResHs Add Integer Timestamp = Timestamp

type ArithResHs Add Timestamp Integer

Defined in Lorentz.Arith

type ArithResHs Add Timestamp Integer = Timestamp

timestampToSeconds :: Integral a => Timestamp -> a

timestampFromSeconds :: Integral a => a -> Timestamp

timestampFromUTCTime :: UTCTime -> Timestamp

timestampPlusSeconds :: Timestamp -> Integer -> Timestamp

Add given amount of seconds to a Timestamp.

formatTimestamp :: Timestamp -> Text

Display timestamp in human-readable way as used by Michelson. Uses UTC timezone, though maybe we should take it as an argument.

parseTimestamp :: Text -> Maybe Timestamp

Parse textual representation of Timestamp.

getCurrentTime :: IO Timestamp

Return current time as Timestamp.