Copyright | (c) 2015 David Farrell |
---|---|
License | PublicDomain |
Stability | unstable |
Portability | non-portable (GHC extensions) |
Safe Haskell | Safe |
Language | Haskell2010 |
Relation type family and helper function to create relations from tuples.
Documentation
class ToRelation a as where Source
toRelation :: a -> Relation as Source
ToRelation () ([] *) Source | |
ToRelation a0 ((:) * a0 ([] *)) Source | |
ToRelation (Relation as) as Source | |
ToRelation (a0, a1) ((:) * a0 ((:) * a1 ([] *))) Source | |
ToRelation (a0, a1, a2) ((:) * a0 ((:) * a1 ((:) * a2 ([] *)))) Source | |
ToRelation (a0, a1, a2, a3) ((:) * a0 ((:) * a1 ((:) * a2 ((:) * a3 ([] *))))) Source | |
ToRelation (a0, a1, a2, a3, a4) ((:) * a0 ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ([] *)))))) Source | |
ToRelation (a0, a1, a2, a3, a4, a5) ((:) * a0 ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ([] *))))))) Source | |
ToRelation (a0, a1, a2, a3, a4, a5, a6) ((:) * a0 ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ([] *)))))))) Source | |
ToRelation (a0, a1, a2, a3, a4, a5, a6, a7) ((:) * a0 ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ([] *))))))))) Source | |
ToRelation (a0, a1, a2, a3, a4, a5, a6, a7, a8) ((:) * a0 ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ([] *)))))))))) Source | |
ToRelation (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9) ((:) * a0 ((:) * a1 ((:) * a2 ((:) * a3 ((:) * a4 ((:) * a5 ((:) * a6 ((:) * a7 ((:) * a8 ((:) * a9 ([] *))))))))))) Source |