Eq (Sing n) Source # | |
Instance detailsDefined in Util.Peano |
data Sing (a :: Bool) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances |
data Sing (a :: Ordering) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances |
data Sing (n :: Nat) | |
Instance detailsDefined in Data.Singletons.TypeLits.Internal |
data Sing (n :: Symbol) | |
Instance detailsDefined in Data.Singletons.TypeLits.Internal |
data Sing (a :: ()) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances data Sing (a :: ()) where |
data Sing (a :: Void) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances |
data Sing (a :: All) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (a :: Any) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (_ :: Nat) Source # | |
Instance detailsDefined in Util.Peano |
data Sing (a :: CT) Source # | Instance of data family Sing for CT . |
Instance detailsDefined in Michelson.Typed.Sing |
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)
|
data Sing (b :: [a]) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances data Sing (b :: [a]) where- SNil :: forall a (b :: [a]). Sing ([] :: [a])
- SCons :: forall a (b :: [a]) (n1 :: a) (n2 :: [a]). Sing n1 -> Sing n2 -> Sing (n1 ': n2)
|
data Sing (b :: Maybe a) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances |
data Sing (b :: Min a) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (b :: Max a) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (b :: First a) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (b :: Last a) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (a :: WrappedMonoid m) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (b :: Option a) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (b :: Identity a) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances |
data Sing (b :: First a) | |
Instance detailsDefined in Data.Singletons.Prelude.Monoid |
data Sing (b :: Last a) | |
Instance detailsDefined in Data.Singletons.Prelude.Monoid |
data Sing (b :: Dual a) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (b :: Sum a) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (b :: Product a) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup.Internal |
data Sing (b :: Down a) | |
Instance detailsDefined in Data.Singletons.Prelude.Ord |
data Sing (b :: NonEmpty a) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances |
data Sing (b :: Endo a) | |
Instance detailsDefined in Data.Singletons.Prelude.Foldable data Sing (b :: Endo a) where |
data Sing (b :: MaxInternal a) | |
Instance detailsDefined in Data.Singletons.Prelude.Foldable data Sing (b :: MaxInternal a) where |
data Sing (b :: MinInternal a) | |
Instance detailsDefined in Data.Singletons.Prelude.Foldable data Sing (b :: MinInternal a) where |
data Sing (c :: Either a b) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances |
data Sing (c :: (a, b)) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances data Sing (c :: (a, b)) where |
data Sing (c :: Arg a b) | |
Instance detailsDefined in Data.Singletons.Prelude.Semigroup |
newtype Sing (f :: k1 ~> k2) | |
Instance detailsDefined in Data.Singletons.Internal |
data Sing (b :: StateL s a) | |
Instance detailsDefined in Data.Singletons.Prelude.Traversable data Sing (b :: StateL s a) where- SStateL :: forall s a (b :: StateL s a) (x :: s ~> (s, a)). Sing x -> Sing (StateL x)
|
data Sing (b :: StateR s a) | |
Instance detailsDefined in Data.Singletons.Prelude.Traversable data Sing (b :: StateR s a) where- SStateR :: forall s a (b :: StateR s a) (x :: s ~> (s, a)). Sing x -> Sing (StateR x)
|
data Sing (d :: (a, b, c)) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances data Sing (d :: (a, b, c)) where |
data Sing (c :: Const a b) | |
Instance detailsDefined in Data.Singletons.Prelude.Const |
data Sing (e :: (a, b, c, d)) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances data Sing (e :: (a, b, c, d)) where |
data Sing (f :: (a, b, c, d, e)) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances data Sing (f :: (a, b, c, d, e)) where- STuple5 :: forall a b c d e (f :: (a, b, c, d, e)) (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing ((,,,,) n1 n2 n3 n4 n5)
|
data Sing (g :: (a, b, c, d, e, f)) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances data Sing (g :: (a, b, c, d, e, f)) where- STuple6 :: forall a b c d e f (g :: (a, b, c, d, e, f)) (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e) (n6 :: f). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing n6 -> Sing ((,,,,,) n1 n2 n3 n4 n5 n6)
|
data Sing (h :: (a, b, c, d, e, f, g)) | |
Instance detailsDefined in Data.Singletons.Prelude.Instances data Sing (h :: (a, b, c, d, e, f, g)) where- STuple7 :: forall a b c d e f g (h :: (a, b, c, d, e, f, g)) (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e) (n6 :: f) (n7 :: g). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing n6 -> Sing n7 -> Sing ((,,,,,,) n1 n2 n3 n4 n5 n6 n7)
|