Codec.Candid.Tuples
newtype Unary a Source #
A newtype to stand in for the unary tuple
Constructors
Fields
Defined in Codec.Candid.Tuples
Methods
(==) :: Unary a -> Unary a -> Bool Source #
(/=) :: Unary a -> Unary a -> Bool Source #
showsPrec :: Int -> Unary a -> ShowS Source #
show :: Unary a -> String Source #
showList :: [Unary a] -> ShowS Source #
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 #