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 Morley.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

FromCVal Mutez

Defined in Michelson.Typed.CValue

Methods

fromCVal :: CVal (ToCT Mutez) -> Mutez

ToCVal Mutez

Defined in Michelson.Typed.CValue

Methods

toCVal :: Mutez -> CVal (ToCT Mutez)

FromVal Mutez

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT Mutez) -> Mutez

ToVal Mutez

Defined in Michelson.Typed.Value

Methods

toVal :: Mutez -> Val instr (ToT Mutez)

type Rep Mutez

Defined in Tezos.Core

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

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.

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 Morley.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

FromCVal Timestamp

Defined in Michelson.Typed.CValue

Methods

fromCVal :: CVal (ToCT Timestamp) -> Timestamp

ToCVal Timestamp

Defined in Michelson.Typed.CValue

Methods

toCVal :: Timestamp -> CVal (ToCT Timestamp)

FromVal Timestamp

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT Timestamp) -> Timestamp

ToVal Timestamp

Defined in Michelson.Typed.Value

Methods

toVal :: Timestamp -> Val instr (ToT Timestamp)

type Rep Timestamp

Defined in Tezos.Core

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

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.