Codec.Candid.Tuples

Documentation

newtype Unary a

A newtype to stand in for the unary tuple

Constructors

Unary

Fields

• unUnary :: a

Instances

Show a => Show (Unary a)

Defined in Codec.Candid.Tuples

Methods

showsPrec :: Int -> Unary a -> ShowS

show :: Unary a -> String

showList :: [Unary a] -> ShowS

Eq a => Eq (Unary a)

Defined in Codec.Candid.Tuples

Methods

(==) :: Unary a -> Unary a -> Bool

(/=) :: Unary a -> Unary a -> Bool

type Tuplable a = AsTuple_ a (IsTuple a)

type AsTuple a = If (IsTuple a) a (Unary a)

asTuple :: AsTuple_ a b => a -> AsTuple a

fromTuple :: AsTuple_ a b => AsTuple a -> a