Safe Haskell	None
Language	Haskell2010

Util.TypeTuple.Class

Synopsis

class RecFromTuple r where
- type IsoRecTuple r :: Type
- recFromTuple :: IsoRecTuple r -> r

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 #