Safe Haskell	None
Language	Haskell2010

Michelson.Typed.Sing

Contents

Orphan instances

Description

Module, providing singleton boilerplate for T data types.

Some functions from Data.Singletons are provided alternative version here. Some instances which are usually generated with TH are manually implemented as they require some specific constraints, namely Typeable and/or Converge, not provided in instances generated by TH.

Synopsis

data SingT :: T -> Type where
- STKey :: SingT 'TKey
- STUnit :: SingT 'TUnit
- STSignature :: SingT 'TSignature
- STChainId :: SingT 'TChainId
- STOption :: KnownT a => Sing a -> SingT ('TOption a)
- STList :: KnownT a => Sing a -> SingT ('TList a)
- STSet :: KnownT a => Sing a -> SingT ('TSet a)
- STOperation :: SingT 'TOperation
- STContract :: KnownT a => Sing a -> SingT ('TContract a)
- STPair :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TPair a b)
- STOr :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TOr a b)
- STLambda :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TLambda a b)
- STMap :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TMap a b)
- STBigMap :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TBigMap a b)
- STInt :: SingT 'TInt
- STNat :: SingT 'TNat
- STString :: SingT 'TString
- STBytes :: SingT 'TBytes
- STMutez :: SingT 'TMutez
- STBool :: SingT 'TBool
- STKeyHash :: SingT 'TKeyHash
- STTimestamp :: SingT 'TTimestamp
- STAddress :: SingT 'TAddress
class (Typeable t, SingI t) => KnownT (t :: T)
withSomeSingT :: T -> (forall (a :: T). KnownT a => Sing a -> r) -> r
fromSingT :: Sing (a :: T) -> T

Documentation

data SingT :: T -> Type where Source #

Instance of data family Sing for T. Custom instance is implemented in order to inject Typeable constraint for some of constructors.

Constructors

STKey :: SingT 'TKey
STUnit :: SingT 'TUnit
STSignature :: SingT 'TSignature
STChainId :: SingT 'TChainId
STOption :: KnownT a => Sing a -> SingT ('TOption a)
STList :: KnownT a => Sing a -> SingT ('TList a)
STSet :: KnownT a => Sing a -> SingT ('TSet a)
STOperation :: SingT 'TOperation
STContract :: KnownT a => Sing a -> SingT ('TContract a)
STPair :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TPair a b)
STOr :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TOr a b)
STLambda :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TLambda a b)
STMap :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TMap a b)
STBigMap :: (KnownT a, KnownT b) => Sing a -> Sing b -> SingT ('TBigMap a b)
STInt :: SingT 'TInt
STNat :: SingT 'TNat
STString :: SingT 'TString
STBytes :: SingT 'TBytes
STMutez :: SingT 'TMutez
STBool :: SingT 'TBool
STKeyHash :: SingT 'TKeyHash
STTimestamp :: SingT 'TTimestamp
STAddress :: SingT 'TAddress

class (Typeable t, SingI t) => KnownT (t :: T) Source #

Typeable + SingI constraints.

This restricts a type to be a constructible type of T kind.

Instances

Instances details

(Typeable t, SingI t) => KnownT t Source #
Instance details Defined in Michelson.Typed.Sing
KnownT t => CheckScope (StorageScope t) Source #
Instance details Defined in Michelson.Typed.Scope Methods checkScope :: Either BadTypeForScope (Dict (StorageScope t)) Source #
KnownT t => CheckScope (ParameterScope t) Source #
Instance details Defined in Michelson.Typed.Scope Methods checkScope :: Either BadTypeForScope (Dict (ParameterScope t)) Source #
KnownT t => CheckScope (ComparabilityScope t) Source #
Instance details Defined in Michelson.Typed.Value Methods checkScope :: Either BadTypeForScope (Dict (ComparabilityScope t)) Source #

withSomeSingT :: T -> (forall (a :: T). KnownT a => Sing a -> r) -> r Source #

Version of withSomeSing with Typeable constraint provided to processing function.

Required for not to erase these useful constraints when doing conversion from value of type T to its singleton representation.

fromSingT :: Sing (a :: T) -> T Source #

Version of fromSing specialized for use with data instance Sing :: T -> Type which requires Typeable constraint for some of its constructors

Orphan instances

SingKind T Source #
Instance details Associated Types type Demote T = (r :: Type) # Methods fromSing :: forall (a :: T). Sing a -> Demote T # toSing :: Demote T -> SomeSing T #
SingI 'TKey Source #
Instance details Methods sing :: Sing 'TKey #
SingI 'TUnit Source #
Instance details Methods sing :: Sing 'TUnit #
SingI 'TSignature Source #
Instance details Methods sing :: Sing 'TSignature #
SingI 'TChainId Source #
Instance details Methods sing :: Sing 'TChainId #
SingI 'TOperation Source #
Instance details Methods sing :: Sing 'TOperation #
SingI 'TInt Source #
Instance details Methods sing :: Sing 'TInt #
SingI 'TNat Source #
Instance details Methods sing :: Sing 'TNat #
SingI 'TString Source #
Instance details Methods sing :: Sing 'TString #
SingI 'TBytes Source #
Instance details Methods sing :: Sing 'TBytes #
SingI 'TMutez Source #
Instance details Methods sing :: Sing 'TMutez #
SingI 'TBool Source #
Instance details Methods sing :: Sing 'TBool #
SingI 'TKeyHash Source #
Instance details Methods sing :: Sing 'TKeyHash #
SingI 'TTimestamp Source #
Instance details Methods sing :: Sing 'TTimestamp #
SingI 'TAddress Source #
Instance details Methods sing :: Sing 'TAddress #
KnownT a => SingI ('TOption a :: T) Source #
Instance details Methods sing :: Sing ('TOption a) #
KnownT a => SingI ('TList a :: T) Source #
Instance details Methods sing :: Sing ('TList a) #
KnownT a => SingI ('TSet a :: T) Source #
Instance details Methods sing :: Sing ('TSet a) #
KnownT a => SingI ('TContract a :: T) Source #
Instance details Methods sing :: Sing ('TContract a) #
(KnownT a, KnownT b) => SingI ('TPair a b :: T) Source #
Instance details Methods sing :: Sing ('TPair a b) #
(KnownT a, KnownT b) => SingI ('TOr a b :: T) Source #
Instance details Methods sing :: Sing ('TOr a b) #
(KnownT a, KnownT b) => SingI ('TLambda a b :: T) Source #
Instance details Methods sing :: Sing ('TLambda a b) #
(KnownT a, KnownT b) => SingI ('TMap a b :: T) Source #
Instance details Methods sing :: Sing ('TMap a b) #
(KnownT a, KnownT b) => SingI ('TBigMap a b :: T) Source #
Instance details Methods sing :: Sing ('TBigMap a b) #