版权	（c）安德烈·莫霍夫2016-2022
许可证	MIT（请参阅文件LICENSE）
维护人员	andrey.mokhov@gmail.com
稳定性	实验的
安全哈斯克尔	无
语言	哈斯克尔2010

代数。图表。内部

描述

藻类是用于图的代数构造和操作的库在哈斯克尔。请参阅这篇论文对于图书馆背后的动机、基础理论和实施细节。

本模块定义了使用的各种内部实用程序和数据结构在整个库中，例如具有快速连接的列表。API不稳定且不安全，并且仅用于文档。

简介

数据列表一
数据福库斯一个=福库斯{
- 好啊::布尔
- 是::列表一
- 操作系统::列表一
- 与::列表一
}
清空焦点::福库斯一
顶点焦点：：（a->布尔)->a->福库斯一
覆盖Foci::福库斯a->福库斯a->福库斯一
连接Foci::福库斯a->福库斯a->福库斯一
foldr1安全：：（a->a->a）->[a]->也许吧一
可能是F：：（a->b->a）->a->也许吧b->也许吧一
cartesian产品::订单c=>（a->b->c）->设置a->设置b->设置c
胁迫00::可强制f g=>f x->g x
胁迫10:: (可强制a b，可强制f g）=>（a->f x）->b->g x
胁迫20:: (可强制a b，可强制抄送：，可强制执行的f g）=>（a->c->f x）->b->d->g x
胁迫01:: (可强制a b，可强制f g）=>（f x->a）->g x->b
胁迫11:: (可强制a b，可强制抄送：，可强制f g）=>（a->f x->c）->b->g x->d
胁迫21:: (可强制a b，可强制抄送：，可强制第q页，可强制f g）=>（a->c->fx->p）->b->d->gx->q

数据结构

数据列表一来源 #

带有的抽象列表数据类型O（1）时间串联（当前实现使用差异列表）。在这里一是列表元素的类型。列表 一是一个单体:记忆对应于空列表和两个列表可以与连接地图挂起（或操作员<>). 辛格尔顿可以使用函数构造列表纯净的来自适用例如。列表 一也是的实例IsList（IsList），因此您可以使用列出文字，例如。[1,4] :: 列表 国际与相同纯净的 1 <> 纯净的 4; 请注意，这需要过载列表GHC扩展。要提取普通Haskell列表，可以使用到列表函数可折叠的例如。

实例

实例详细信息

莫纳德列表来源 #
实例详细信息定义于代数。图表。内部方法 (>>=)::列表a->（a->列表b） ->列表b条# (>>)::列表a->列表b->列表b条# 返回：：a->列表一#
Functor（仿真器）列表来源 #
实例详细信息定义于代数。图表。内部方法功能性维修计划：：（a->b）->列表a->列表b条# (<$)：：a->列表b->列表一#
适用列表来源 #
实例详细信息定义于代数。图表。内部方法纯净的：：a->列表一# (<>)::列表（a->b）->列表a->列表b条# 提升A2：：（a->b->c）->列表a->列表b->列表c# (>)::列表a->列表b->列表b条# (<*)::列表a->列表b->列表一#
可折叠的列表来源 #
实例详细信息定义于代数。图表。内部方法折叠::单体m=>列表米->米# foldMap（折叠地图）::单体m=>（a->m）->列表a->米# foldMap'::单体m=>（a->m）->列表a->米# 文件夹：：（a->b->b）->b->列表a->b# foldr（折叠）：：（a->b->b）->b->列表a->b# 折叠：：（b->a->b）->b->列表a->b# foldl（折叠）：：（b->a->b）->b->列表a->b# 文件夹1：：（a->a->a）->列表a->a# 文件夹1：：（a->a->a）->列表a->a# 到列表::列表a->[a]# 无效的::列表a->布尔 # 长度::列表a->国际 # 元素::等式a=>a->列表a->布尔 # 最大限度::订单a=>列表a->a# 最低限度::订单a=>列表a->a# 总和::号码a=>列表a->a# 产品::号码a=>列表a->a#
IsList（IsList）(列表a）来源 #
实例详细信息定义于代数。图表。内部关联的类型类型项目(列表a）# 方法来自列表:: [项目(列表a） ]->列表一# 来自ListN::国际-> [项目(列表a） ]->列表一# 到列表::列表a->[项目(列表a） ]#
等式a=>等式(列表a）来源 #
实例详细信息定义于代数。图表。内部方法 (==)::列表a->列表a->布尔 # (/=)::列表a->列表a->布尔 #
订单a=>订单(列表a）来源 #
实例详细信息定义于代数。图表。内部方法比较::列表a->列表a->订购 # (<)::列表a->列表a->布尔 # (<=)::列表a->列表a->布尔 # (>)::列表a->列表a->布尔 # (>=)::列表a->列表a->布尔 # 最大值::列表a->列表a->列表一# 最小值::列表a->列表a->列表一#
显示a=>显示(列表a）来源 #
实例详细信息定义于代数。图表。内部方法显示Prec::国际->列表a->显示 # 显示::列表a->字符串 # 显示列表:: [列表a] ->显示 #
半群(列表a）来源 #
实例详细信息定义于代数。图表。内部方法 (<>)::列表a->列表a->列表一# 烤饼::非空(列表a） ->列表一# 斯提姆::完整的b=>b->列表a->列表一#
单体(列表a）来源 #
实例详细信息定义于代数。图表。内部方法记忆::列表一# 地图挂起::列表a->列表a->列表一# 麦康卡特:: [列表a] ->列表一#
类型项目(列表a）来源 #
实例详细信息定义于代数。图表。内部类型项目(列表a） =a

图形遍历

数据福库斯一来源 #

这个集中图表达式的是焦点下的子图、其上下文以及所有遇到的子图的列表顶点。请参阅删除边缘以使用为例。

建造师

福库斯	图形表达式的所有顶点（叶）。
领域好啊::布尔如果获得了对指定子图的关注，则为True。是::列表一输入到聚焦子图。操作系统::列表一聚焦子图的输出。与::列表一