candid-0.4.0.2: Candid integration
Safe HaskellSafe-Inferred
LanguageHaskell2010

Codec.Candid.Tuples

Synopsis

Documentation

newtype Unary a Source #

A newtype to stand in for the unary tuple

Constructors

Unary 

Fields

Instances

Instances details
Show a => Show (Unary a) Source # 
Instance details

Defined in Codec.Candid.Tuples

Methods

showsPrec :: Int -> Unary a -> ShowS #

show :: Unary a -> String #

showList :: [Unary a] -> ShowS #

Eq a => Eq (Unary a) Source # 
Instance details

Defined in Codec.Candid.Tuples

Methods

(==) :: 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 #