Data.Variant.Syntax
Description
Rebindable syntax for Variant
(>>=) :: forall x xs ys. KnownNat (Length ys) => V (x ': xs) -> (x -> V ys) -> V (Concat ys xs) Source #
(>>) :: V xs -> V ys -> V (Concat ys xs) Source #
return :: x -> V '[x] Source #