Eq T Source # | |
Instance detailsDefined in Michelson.Typed.T |
Show T Source # | |
Instance detailsDefined in Michelson.Typed.T |
Buildable T Source # | |
Instance detailsDefined in Michelson.Typed.Print |
SingKind T Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
SingI TKey Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
SingI TUnit Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
SingI TSignature Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
SingI TOperation Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI t, Typeable t) => SingI (Tc t :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI a, Typeable a) => SingI (TOption a :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI a, Typeable a) => SingI (TList a :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI a, Typeable a) => SingI (TSet a :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI a, Typeable a) => SingI (TContract a :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI a, Typeable a, Typeable b, SingI b) => SingI (TPair a b :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI a, Typeable a, Typeable b, SingI b) => SingI (TOr a b :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI a, Typeable a, Typeable b, SingI b) => SingI (TLambda a b :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI a, Typeable a, Typeable b, SingI b) => SingI (TMap a b :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI a, Typeable a, Typeable b, SingI b) => SingI (TBigMap a b :: T) Source # | |
Instance detailsDefined in Michelson.Typed.Sing |
(SingI cp, SingI st) => IsContract (Contract cp st) Source # | |
Instance detailsDefined in Lorentz.Discover |
data Sing (a :: T) Source # | Instance of data family Sing for T .
Custom instance is implemented in order to inject Typeable
constraint for some of constructors. |
Instance detailsDefined in Michelson.Typed.Sing data Sing (a :: T) where- STc :: forall (a :: T) (a :: CT). (SingI a, Typeable a) => Sing a -> Sing (Tc a)
- STKey :: forall (a :: T). Sing TKey
- STUnit :: forall (a :: T). Sing TUnit
- STSignature :: forall (a :: T). Sing TSignature
- STOption :: forall (a :: T) (a :: T). (SingI a, Typeable a) => Sing a -> Sing (TOption a)
- STList :: forall (a :: T) (a :: T). (SingI a, Typeable a) => Sing a -> Sing (TList a)
- STSet :: forall (a :: T) (a :: CT). (SingI a, Typeable a) => Sing a -> Sing (TSet a)
- STOperation :: forall (a :: T). Sing TOperation
- STContract :: forall (a :: T) (a :: T). (SingI a, Typeable a) => Sing a -> Sing (TContract a)
- STPair :: forall (a :: T) (a :: T) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TPair a b)
- STOr :: forall (a :: T) (a :: T) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TOr a b)
- STLambda :: forall (a :: T) (a :: T) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TLambda a b)
- STMap :: forall (a :: T) (a :: CT) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TMap a b)
- STBigMap :: forall (a :: T) (a :: CT) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TBigMap a b)
|
type Demote T Source # | |
Instance detailsDefined in Michelson.Typed.Sing |