haskus-utils-variant-3.0: Variant and EADT

Safe HaskellNone
LanguageHaskell2010

Haskus.Utils.Variant.Syntax

Description

Rebindable syntax for Variant

Documentation

(>>=) :: 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 #