Codec.Candid.Tuples
newtype Unary a Source #
A newtype to stand in for the unary tuple
Constructors
Fields
Defined in Codec.Candid.Tuples
Methods
showsPrec :: Int -> Unary a -> ShowS #
show :: Unary a -> String #
showList :: [Unary a] -> ShowS #
(==) :: Unary a -> Unary a -> Bool #
(/=) :: Unary a -> Unary a -> Bool #
type Tuplable a = AsTuple_ a (IsTuple a) Source #
type AsTuple a = If (IsTuple a) a (Unary a) Source #
asTuple :: AsTuple_ a b => a -> AsTuple a Source #
fromTuple :: AsTuple_ a b => AsTuple a -> a Source #