Graphula.Dependencies.Generic

Machinery for the Generic-based HasDependencies instance

Documentation

class GHasDependencies nodeTyProxy depsTyProxy node deps where

Methods

genericDependsOn :: nodeTyProxy -> depsTyProxy -> node -> deps -> node

Instances

(TypeError ('Text "Use \8216()\8217 instead of \8216Void\8217 for datatypes with no dependencies in" ':$$: DependenciesTypeInstance nodeTy depsTy) :: Constraint) => GHasDependencies (Proxy nodeTy) (Proxy depsTy) node Void

Defined in Graphula.Dependencies.Generic

Methods

genericDependsOn :: Proxy nodeTy -> Proxy depsTy -> node -> Void -> node

GHasDependencies (Proxy nodeTy) (Proxy depsTy) Void (Either () Void)

Defined in Graphula.Dependencies.Generic

Methods

genericDependsOn :: Proxy nodeTy -> Proxy depsTy -> Void -> Either () Void -> Void

(TypeError ('Text "A datatype with no constructors can't use the dependencies in" ':$$: DependenciesTypeInstance nodeTy depsTy) :: Constraint) => GHasDependencies (Proxy nodeTy) (Proxy depsTy) Void (Either deps rest)

Defined in Graphula.Dependencies.Generic

Methods

genericDependsOn :: Proxy nodeTy -> Proxy depsTy -> Void -> Either deps rest -> Void

(TypeError ('Text "Cannot automatically find dependencies for sum type in" ':$$: DependenciesTypeInstance nodeTy depsTy) :: Constraint) => GHasDependencies (Proxy nodeTy) (Proxy depsTy) (Either left (Either right rest)) (Either deps Void)

Defined in Graphula.Dependencies.Generic

Methods

genericDependsOn :: Proxy nodeTy -> Proxy depsTy -> Either left (Either right rest) -> Either deps Void -> Either left (Either right rest)

(TypeError ('Text "Cannot automatically find dependencies for sum type or use a sum type as a dependency in" ':$$: DependenciesTypeInstance nodeTy depsTy) :: Constraint) => GHasDependencies (Proxy nodeTy) (Proxy depsTy) (Either left1 (Either right1 rest1)) (Either left2 (Either right2 rest2))

Defined in Graphula.Dependencies.Generic

Methods

genericDependsOn :: Proxy nodeTy -> Proxy depsTy -> Either left1 (Either right1 rest1) -> Either left2 (Either right2 rest2) -> Either left1 (Either right1 rest1)

(FindMatches nodeTy depsTy node deps ~ fields, GHasDependenciesRecursive (Proxy fields) node deps) => GHasDependencies (Proxy nodeTy) (Proxy depsTy) (Either node Void) (Either deps Void)

Defined in Graphula.Dependencies.Generic

Methods

genericDependsOn :: Proxy nodeTy -> Proxy depsTy -> Either node Void -> Either deps Void -> Either node Void

(TypeError ('Text "Cannot automatically use a sum type as dependencies in" ':$$: DependenciesTypeInstance nodeTy depsTy) :: Constraint) => GHasDependencies (Proxy nodeTy) (Proxy depsTy) (Either node Void) (Either left (Either right rest))

Defined in Graphula.Dependencies.Generic

Methods

genericDependsOn :: Proxy nodeTy -> Proxy depsTy -> Either node Void -> Either left (Either right rest) -> Either node Void