purescript-alphasucc

For those times when you want the alphabet for labeling things.

Usage

alphaSucc :: forall a b. AlphaSucc a b => SProxy a -> SProxy b
alphaSucc _ = SProxy

testA :: Unit
testA =
  let
    expected = Proxy :: Proxy (SProxy "b")
    actual = alphaSucc (SProxy :: SProxy "a")
  in
    expectInferred expected actual

See the API Docs or the tests for usage.