Hallux.Internal.FingerTree (Hallux v1.2.0) View Source
Link to this section Summary
Link to this section Types
Specs
Specs
t(value) :: t(Hallux.Protocol.Monoid.m(), value)
Specs
t(monoid, value) ::
%Hallux.Internal.FingerTree.Empty{monoid: monoid}
| %Hallux.Internal.FingerTree.Single{monoid: monoid, x: value}
| %Hallux.Internal.FingerTree.Deep{
l: Hallux.Internal.Digit.t(value),
m: t(monoid, Hallux.Internal.Node.t(value)),
monoid: monoid,
r: Hallux.Internal.Digit.t(value),
size: term()
}
Specs
value() :: term()