foldMap(折叠地图) (f)=
折叠
记忆 (f)(
<> ) (
<> )
到列表 =
折叠 []
纯净的 (
++ ) (
++ )
到列表 (1 ) == [1]
到列表 (1 + 1) == [1, 1]
简介
班 ToGraph(ToGraph) t吨 哪里 类型 ToVertex(顶点) t吨 toGraph(目标图表) ::t-> 图表 ( ToVertex(顶点) t) 折叠 ::r->( ToVertex(顶点) t->r)->(r->r->r)->(r->r->r)->t->r 栈空 ::t-> 布尔 hasVertex公司 :: 等式 ( ToVertex(顶点) t) => ToVertex(顶点) t->t-> 布尔 hasEdge公司 :: 等式 ( ToVertex(顶点) t) => ToVertex(顶点) t-> ToVertex(顶点) t->t-> 布尔 顶点计数 :: 订单 ( ToVertex(顶点) t) =>t-> 国际 边缘计数 :: 订单 ( ToVertex(顶点) t) =>t-> 国际 顶点列表 :: 订单 ( ToVertex(顶点) t) =>t->[ ToVertex(顶点) t) 边缘列表 :: 订单 ( ToVertex(顶点) t) =>t->[( ToVertex(顶点) t、, ToVertex(顶点) t) ] 顶点集 :: 订单 ( ToVertex(顶点) t) =>t-> 设置 ( ToVertex(顶点) t) 顶点IntSet :: ToVertex(顶点) t吨~ 国际 =>t-> IntSet(IntSet) 边缘设置 :: 订单 ( ToVertex(顶点) t) =>t-> 设置 ( ToVertex(顶点) t、, ToVertex(顶点) t) 预设 :: 订单 ( ToVertex(顶点) t) => ToVertex(顶点) t->t-> 设置 ( ToVertex(顶点) t) 预IntSet :: ToVertex(顶点) t吨~ 国际 => 国际 ->t-> IntSet(IntSet) postSet(postSet) :: 订单 ( ToVertex(顶点) t) => ToVertex(顶点) t->t-> 设置 ( ToVertex(顶点) t) 后IntSet :: ToVertex(顶点) t吨~ 国际 => 国际 ->t-> IntSet(IntSet) 邻接列表 :: 订单 ( ToVertex(顶点) t) =>t->[( ToVertex(顶点) t、[ ToVertex(顶点) t] )] dfs森林 :: 订单 ( ToVertex(顶点) t) =>t-> 森林 ( ToVertex(顶点) t) dfs预测自 :: 订单 ( ToVertex(顶点) t) =>t->[ ToVertex(顶点) t] -> 森林 ( ToVertex(顶点) t) 数据流服务 :: 订单 ( ToVertex(顶点) t) =>t->[ ToVertex(顶点) t] ->[ ToVertex(顶点) t) 可达成的 :: 订单 ( ToVertex(顶点) t) =>t-> ToVertex(顶点) t->[ ToVertex(顶点) t) top排序 :: 订单 ( ToVertex(顶点) t) =>t-> 要么 ( 循环 ( ToVertex(顶点) t) )[ ToVertex(顶点) t) 是非循环的 :: 订单 ( ToVertex(顶点) t) =>t-> 布尔 到相邻地图 :: 订单 ( ToVertex(顶点) t) =>t-> 相邻地图 ( ToVertex(顶点) t) 到相邻地图转换 :: 订单 ( ToVertex(顶点) t) =>t-> 相邻地图 ( ToVertex(顶点) t) 到相邻IntMap :: ToVertex(顶点) t吨~ 国际 =>t-> 相邻IntMap 到相邻IntMapTranspose :: ToVertex(顶点) t吨~ 国际 =>t-> 相邻IntMap 是DfsForestOf :: 订单 ( ToVertex(顶点) t) => 森林 ( ToVertex(顶点) t) ->t-> 布尔 排名靠前 :: 订单 ( ToVertex(顶点) t) =>[ ToVertex(顶点) t] ->t-> 布尔
相邻地图 :: ToGraph(ToGraph) t=> 订单 ( ToVertex(顶点) t) =>t-> 地图 ( ToVertex(顶点) t)( 设置 ( ToVertex(顶点) t) ) 相邻IntMap :: ( ToGraph(ToGraph) t、, ToVertex(顶点) t吨~ 国际 )=>t-> 国际地图 IntSet(IntSet) 相邻映射转置 :: ( ToGraph(ToGraph) t、, 订单 ( ToVertex(顶点) t) )=>t-> 地图 ( ToVertex(顶点) t)( 设置 ( ToVertex(顶点) t) ) 邻接IntMapTranspose :: ( ToGraph(ToGraph) t、, ToVertex(顶点) t吨~ 国际 )=>t-> 国际地图 IntSet(IntSet)
类型类别
foldg==代数。 图表。
折叠 .
toGraph(目标图表)
hasVertex x(具有顶点x)==
折叠 假(==x)(||)(|||)
hasEdge x y==代数。 图表。
hasEdge公司 x年。
toGraph(目标图表)
postSet x==代数。 图表。 相邻地图。
postSet(postSet) x。
到相邻地图
postIntSet x==代数。 图表。 相邻IntMap。
后IntSet x。
到相邻IntMap
dfsForestFrom==代数。 图表。 相邻地图。
dfs预测自 .to相邻地图
dfs==代数。 图表。 相邻地图。
数据流服务 .to相邻地图
可达==代数。 图表。 相邻地图。
可达成的 .to相邻地图
topSort==代数。 图表。 相邻地图。
top排序 .to相邻地图
isAcyclic==代数。 图表。 相邻地图。
是非循环的 .to相邻地图
isDfsForestOf f==代数。 图表。 相邻地图。
是DfsForestOf f、。 到相邻地图
isTopSortOf vs==代数。 图表。 相邻地图。
排名靠前 与。 到相邻地图
实例
派生函数
adjacencyIntMapTranspose==代数。 图表。 相邻IntMap。
相邻IntMap .
到相邻IntMapTranspose