?stripLeft、stripRight等

用于要么类型

类型

条带左侧::  b条->也许吧strip右::a1级  a2类->也许吧a2类strip其中之一:  ->过滤器左侧::[b1号机组  b2级]->[b1号机组]过滤器右::[  b条] -> [b条]向左::  b条->布尔正确::  b条->布尔map其中之一:(t1时间->) -> (t2时间->b条)->t1时间  t2时间->  b条swap其中之一:b条  ->  b条splitEitherList::[a1级  a2类] -> ([a1级], [a2类])从左起:  b条->从右侧:  b条->b条

描述

这些是用于要么类型。

请注意,在我们编写的文档中的许多地方a+ba?b作为的缩写要么a b.

另请参见

要么.