Michelson.Typed.Sing

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.

Documentation

data SingT :: T -> Type where

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

STBls12381Fr :: SingT 'TBls12381Fr

STBls12381G1 :: SingT 'TBls12381G1

STBls12381G2 :: SingT 'TBls12381G2

STTimestamp :: SingT 'TTimestamp

STAddress :: SingT 'TAddress

STNever :: SingT 'TNever

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

Typeable + SingI constraints.

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

Instances

(Typeable t, SingI t) => KnownT t

Defined in Michelson.Typed.Sing

KnownT t => CheckScope (ComparabilityScope t)

Defined in Michelson.Typed.Value

Methods

checkScope :: Either BadTypeForScope (Dict (ComparabilityScope t))

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

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

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

Associated Types

type Demote T = (r :: Type)

Methods

fromSing :: forall (a :: T). Sing a -> Demote T

toSing :: Demote T -> SomeSing T

SingI 'TKey

Methods

sing :: Sing 'TKey

SingI 'TUnit

Methods

sing :: Sing 'TUnit

SingI 'TSignature

Methods

sing :: Sing 'TSignature

SingI 'TChainId

Methods

sing :: Sing 'TChainId

SingI 'TOperation

Methods

sing :: Sing 'TOperation

SingI 'TInt

Methods

sing :: Sing 'TInt

SingI 'TNat

Methods

sing :: Sing 'TNat

SingI 'TString

Methods

sing :: Sing 'TString

SingI 'TBytes

Methods

sing :: Sing 'TBytes

SingI 'TMutez

Methods

sing :: Sing 'TMutez

SingI 'TBool

Methods

sing :: Sing 'TBool

SingI 'TKeyHash

Methods

sing :: Sing 'TKeyHash

SingI 'TBls12381Fr

Methods

sing :: Sing 'TBls12381Fr

SingI 'TBls12381G1

Methods

sing :: Sing 'TBls12381G1

SingI 'TBls12381G2

Methods

sing :: Sing 'TBls12381G2

SingI 'TTimestamp

Methods

sing :: Sing 'TTimestamp

SingI 'TAddress

Methods

sing :: Sing 'TAddress

SingI 'TNever

Methods

sing :: Sing 'TNever

KnownT a => SingI ('TOption a :: T)

Methods

sing :: Sing ('TOption a)

KnownT a => SingI ('TList a :: T)

Methods

sing :: Sing ('TList a)

KnownT a => SingI ('TSet a :: T)

Methods

sing :: Sing ('TSet a)

KnownT a => SingI ('TContract a :: T)

Methods

sing :: Sing ('TContract a)

(KnownT a, KnownT b) => SingI ('TPair a b :: T)

Methods

sing :: Sing ('TPair a b)

(KnownT a, KnownT b) => SingI ('TOr a b :: T)

Methods

sing :: Sing ('TOr a b)

(KnownT a, KnownT b) => SingI ('TLambda a b :: T)

Methods

sing :: Sing ('TLambda a b)

(KnownT a, KnownT b) => SingI ('TMap a b :: T)

Methods

sing :: Sing ('TMap a b)

(KnownT a, KnownT b) => SingI ('TBigMap a b :: T)

Methods

sing :: Sing ('TBigMap a b)