https://github.com/justinwoo/purescript-alphasucc

For those times when you want the alphabet for labeling things.
https://github.com/justinwoo/purescript-alphasucc

purescript

Last synced: about 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/justinwoo/purescript-alphasucc
• Owner: justinwoo
• License: mit
• Created: 2018-08-12T16:49:30.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-08-12T16:58:09.000Z (over 6 years ago)
• Last Synced: 2024-10-11T23:44:39.760Z (2 months ago)
• Topics: purescript
• Language: PureScript
• Homepage:
• Size: 1.95 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Purescript-AlphaSucc

[![Build Status](https://travis-ci.org/justinwoo/purescript-alphasucc.svg?branch=master)](https://travis-ci.org/justinwoo/purescript-alphasucc)

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

## Usage

```purs

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](https://pursuit.purescript.org/packages/purescript-alphasucc/) or the [tests](test/Main.purs) for usage.