Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Orphan instances
RecFromTuple (Rec f '[a]) Source # | |
type IsoRecTuple (Rec f '[a]) Source # recFromTuple :: IsoRecTuple (Rec f '[a]) -> Rec f '[a] Source # tupleFromRec :: Rec f '[a] -> IsoRecTuple (Rec f '[a]) Source # | |
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]) Source # | |
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]) Source # 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] Source # 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]) Source # | |
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]) Source # | |
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]) Source # 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] Source # 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]) Source # | |
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]) Source # | |
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]) Source # 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] Source # 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]) Source # | |
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]) Source # | |
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]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
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]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x, x]) Source # 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] Source # 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]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x, x]) Source # recFromTuple :: IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x]) -> Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x] Source # tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x7, x]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x, x]) Source # recFromTuple :: IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x]) -> Rec f '[x0, x1, x2, x3, x4, x5, x6, x] Source # tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x6, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x6, x]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x, x]) Source # recFromTuple :: IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x]) -> Rec f '[x0, x1, x2, x3, x4, x5, x] Source # tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x5, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x5, x]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x, x]) Source # recFromTuple :: IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x]) -> Rec f '[x0, x1, x2, x3, x4, x] Source # tupleFromRec :: Rec f '[x0, x1, x2, x3, x4, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x4, x]) Source # | |
RecFromTuple (Rec f '[x, x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x, x]) Source # recFromTuple :: IsoRecTuple (Rec f '[x0, x1, x2, x3, x]) -> Rec f '[x0, x1, x2, x3, x] Source # tupleFromRec :: Rec f '[x0, x1, x2, x3, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x3, x]) Source # | |
RecFromTuple (Rec f '[x, x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x, x]) Source # recFromTuple :: IsoRecTuple (Rec f '[x0, x1, x2, x]) -> Rec f '[x0, x1, x2, x] Source # tupleFromRec :: Rec f '[x0, x1, x2, x] -> IsoRecTuple (Rec f '[x0, x1, x2, x]) Source # | |
RecFromTuple (Rec f '[x, x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x, x]) Source # recFromTuple :: IsoRecTuple (Rec f '[x0, x1, x]) -> Rec f '[x0, x1, x] Source # tupleFromRec :: Rec f '[x0, x1, x] -> IsoRecTuple (Rec f '[x0, x1, x]) Source # | |
RecFromTuple (Rec f '[x, x]) Source # | |
type IsoRecTuple (Rec f '[x, x]) Source # recFromTuple :: IsoRecTuple (Rec f '[x0, x]) -> Rec f '[x0, x] Source # tupleFromRec :: Rec f '[x0, x] -> IsoRecTuple (Rec f '[x0, x]) Source # | |
RecFromTuple (Rec f ('[] :: [u])) Source # | |
type IsoRecTuple (Rec f '[]) Source # recFromTuple :: IsoRecTuple (Rec f '[]) -> Rec f '[] Source # tupleFromRec :: Rec f '[] -> IsoRecTuple (Rec f '[]) Source # |