Safe Haskell | None |
---|---|
Language | Haskell2010 |
Orphan instances
RecFromTuple (Rec f ([] :: [u])) Source # | |
type IsoRecTuple (Rec f []) :: Type Source # recFromTuple :: IsoRecTuple (Rec f []) -> Rec f [] Source # | |
RecFromTuple (Rec f (x ': ([] :: [u]))) Source # | |
type IsoRecTuple (Rec f (x ': [])) :: Type Source # recFromTuple :: IsoRecTuple (Rec f (x ': [])) -> Rec f (x ': []) Source # | |
RecFromTuple (Rec f (x1 ': (x2 ': ([] :: [u])))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': []))) :: Type Source # recFromTuple :: IsoRecTuple (Rec f (x1 ': (x2 ': []))) -> Rec f (x1 ': (x2 ': [])) Source # | |
RecFromTuple (Rec f (x1 ': (x2 ': (x3 ': ([] :: [u]))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': [])))) :: Type Source # recFromTuple :: IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': [])))) -> Rec f (x1 ': (x2 ': (x3 ': []))) Source # | |
RecFromTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': ([] :: [u])))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': []))))) :: Type Source # recFromTuple :: IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': []))))) -> Rec f (x1 ': (x2 ': (x3 ': (x4 ': [])))) Source # | |
RecFromTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': ([] :: [u]))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': [])))))) :: Type Source # 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 ': ([] :: [u])))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': []))))))) :: Type Source # 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 ': ([] :: [u]))))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': (x7 ': [])))))))) :: Type Source # 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 ': ([] :: [u])))))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': (x7 ': (x8 ': []))))))))) :: Type Source # 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 ': ([] :: [u]))))))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': (x7 ': (x8 ': (x9 ': [])))))))))) :: Type Source # 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 ': ([] :: [u])))))))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': (x7 ': (x8 ': (x9 ': (x10 ': []))))))))))) :: Type Source # 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 ': ([] :: [u]))))))))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': (x7 ': (x8 ': (x9 ': (x10 ': (x11 ': [])))))))))))) :: Type Source # 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 ': ([] :: [u])))))))))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': (x7 ': (x8 ': (x9 ': (x10 ': (x11 ': (x12 ': []))))))))))))) :: Type Source # 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 ': ([] :: [u]))))))))))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': (x7 ': (x8 ': (x9 ': (x10 ': (x11 ': (x12 ': (x13 ': [])))))))))))))) :: Type Source # 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 ': ([] :: [u])))))))))))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': (x7 ': (x8 ': (x9 ': (x10 ': (x11 ': (x12 ': (x13 ': (x14 ': []))))))))))))))) :: Type Source # 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 ': ([] :: [u]))))))))))))))))) Source # | |
type IsoRecTuple (Rec f (x1 ': (x2 ': (x3 ': (x4 ': (x5 ': (x6 ': (x7 ': (x8 ': (x9 ': (x10 ': (x11 ': (x12 ': (x13 ': (x14 ': (x15 ': [])))))))))))))))) :: Type Source # 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 # |