char : Morph Bit Char
'0'
or '1'
n : MorphIndependently (N (N.In min_ (N.Up maxTo1_ N.To N1)) -> Result error_ Bit) (Bit -> N (N.In (N.Up0 minX_) (N.Up1 maxX_)))
n0
↔ O
, n1
↔ I
only : Bit -> Morph () Bit
Match a specific given Bit
and not the other one.
import Morph
import Bit
Bit.O |> Morph.toNarrow (Bit.Morph.only Bit.I)
--> Err (Morph.DeadEnd "0")
value : Value.Morph.Internal.MorphValue Bit
MorphValue
from a Bit