Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
type IsoRecTuple r :: Type Source #
recFromTuple :: IsoRecTuple r -> r Source #
Instances
RecFromTuple (Rec f ([] :: [u])) Source # | |
Defined in Util.TypeTuple.Instances type IsoRecTuple (Rec f []) :: Type Source # recFromTuple :: IsoRecTuple (Rec f []) -> Rec f [] Source # | |
RecFromTuple (Rec f (x ': ([] :: [u]))) Source # | |
Defined in Util.TypeTuple.Instances type IsoRecTuple (Rec f (x ': [])) :: Type Source # recFromTuple :: IsoRecTuple (Rec f (x ': [])) -> Rec f (x ': []) Source # | |
RecFromTuple (Rec f (x1 ': (x2 ': ([] :: [u])))) Source # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # | |
Defined in Util.TypeTuple.Instances 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 # |