Morley.Util.TypeTuple.Instances

Orphan instances

RecFromTuple (Rec f '[a])

Associated Types

type IsoRecTuple (Rec f '[a])

Methods

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

tupleFromRec :: Rec f '[a] -> IsoRecTuple (Rec f '[a])

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

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

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x])

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x])

Methods

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

tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x])

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x])

Methods

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

tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x])

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x])

Methods

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

tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x8, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x8, x])

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x])

Methods

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

tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x])

RecFromTuple (Rec f '[x, x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x])

Methods

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

tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x6, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x])

RecFromTuple (Rec f '[x, x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x, x])

Methods

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

tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x])

RecFromTuple (Rec f '[x, x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x, x])

Methods

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

tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x])

RecFromTuple (Rec f '[x, x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x, x])

Methods

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

tupleFromRec :: Rec f '[x0, x1, x2, x3, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x])

RecFromTuple (Rec f '[x, x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x, x])

Methods

recFromTuple :: IsoRecTuple (Rec f '[x0, x1, x2, x]) -> Rec f '[x0, x1, x2, x]

tupleFromRec :: Rec f '[x0, x1, x2, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x])

RecFromTuple (Rec f '[x, x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x, x])

Methods

recFromTuple :: IsoRecTuple (Rec f '[x0, x1, x]) -> Rec f '[x0, x1, x]

tupleFromRec :: Rec f '[x0, x1, x] -> IsoRecTuple (Rec f '[x0, x1, x])

RecFromTuple (Rec f '[x, x])

Associated Types

type IsoRecTuple (Rec f '[x, x])

Methods

recFromTuple :: IsoRecTuple (Rec f '[x0, x]) -> Rec f '[x0, x]

tupleFromRec :: Rec f '[x0, x] -> IsoRecTuple (Rec f '[x0, x])

RecFromTuple (Rec f ('[] :: [u]))

Associated Types

type IsoRecTuple (Rec f '[])

Methods

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

tupleFromRec :: Rec f '[] -> IsoRecTuple (Rec f '[])