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

Because sometimes, you want a reflected record of proxies to make life easier.
https://github.com/justinwoo/purescript-naporitan

purescript type-level

Last synced: 15 days ago
JSON representation

Because sometimes, you want a reflected record of proxies to make life easier.

• Host: GitHub
• URL: https://github.com/justinwoo/purescript-naporitan
• Owner: justinwoo
• License: mit
• Created: 2018-09-12T08:05:19.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2021-12-15T13:04:50.000Z (about 3 years ago)
• Last Synced: 2024-12-07T04:09:11.929Z (about 1 month ago)
• Topics: purescript, type-level
• Language: PureScript
• Homepage:
• Size: 3.91 KB
• Stars: 2
• Watchers: 3
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# purescript-naporitan

Because sometimes, you want a reflected record of proxies to make life easier.

![](https://i.imgur.com/Oy0GJqf.jpg)

## Usage

```purs

proxies = N.reflectRecordProxy ::

  { apple :: Proxy Int

  , banana :: Proxy String

  }

```

You can also create instances of the proxy creation class:

```purs

data MyThing a b c d e f g = MyThing

instance myThingReflectProxy :: N.ReflectProxy (MyThing a b c d e f g) where

  reflectProxy = MyThing

things = N.reflectRecordProxy ::

  { apple :: MyThing Int Int Int Int Int Int Int

  , banana :: MyThing Unit Unit Unit Unit Unit Unit Unit

  }

```

See [test/Main.purs](./test/Main.purs)