8 module Data.HList.Graph
18 import Data.HList.Prelude
22 instance HNodeSet HNil
23 instance HNodeSet ns => HNodeSet (HCons n ns)
26 class HNoDuplicates nids => HNodeIDSet nids
27 instance HNodeIDSet HNil
28 instance (HOccursNot nid nids, HNodeIDSet nids) => HNodeIDSet (HCons nid nids)
31 class HNodeIDSet (HLinksFrom n) => HNode n
38 instance ApplyT HNodeIDA n where
39 type Apply HNodeIDA n = HNodeID n
42 class ( HNodeSet (HNodes g)
43 , HNoDuplicates (HMap HNodeIDA g)
49 --type family HGetNode g n