morley-1.7.0: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Util.TypeTuple

Description

Conversions between tuples and list-like types.

Synopsis

Documentation

class RecFromTuple r where Source #

Building a record from tuple.

It differs from similar typeclass in FromTuple module in that it allows type inference outside-in - knowing desired Rec you know which tuple should be provided - this improves error messages when constructing concrete Rec objects.

Associated Types

type IsoRecTuple r :: Type Source #

Methods

recFromTuple :: IsoRecTuple r -> r Source #

Instances

Instances details
RecFromTuple (Rec f ('[] :: [u])) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[]) -> Rec f '[] Source #

RecFromTuple (Rec f '[x]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x]) -> Rec f '[x] Source #

RecFromTuple (Rec f '[x1, x2]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2]) -> Rec f '[x1, x2] Source #

RecFromTuple (Rec f '[x1, x2, x3]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3]) -> Rec f '[x1, x2, x3] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4]) -> Rec f '[x1, x2, x3, x4] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5]) -> Rec f '[x1, x2, x3, x4, x5] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6]) -> Rec f '[x1, x2, x3, x4, x5, x6] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24] Source #

RecFromTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25]) Source # 
Instance details

Defined in Util.TypeTuple.Instances

Associated Types

type IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25]) Source #

Methods

recFromTuple :: IsoRecTuple (Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25]) -> Rec f '[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25] Source #