https://github.com/yglukhov/typelists

Typelists in Nim
https://github.com/yglukhov/typelists

Last synced: 7 months ago
JSON representation

Typelists in Nim

• Host: GitHub
• URL: https://github.com/yglukhov/typelists
• Owner: yglukhov
• License: mit
• Created: 2018-03-29T12:31:06.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-11-17T20:59:14.000Z (almost 6 years ago)
• Last Synced: 2024-10-14T15:04:38.162Z (about 1 year ago)
• Language: Nim
• Size: 7.81 KB
• Stars: 9
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# typelists [![Build Status](https://travis-ci.org/yglukhov/typelists.svg?branch=master)](https://travis-ci.org/yglukhov/typelists) [![nimble](https://raw.githubusercontent.com/yglukhov/nimble-tag/master/nimble_js.png)](https://github.com/yglukhov/nimble-tag)

Typelists in Nim

## Usage

See more examples in the [test file](https://github.com/yglukhov/typelists/blob/master/tests/test1.nim)

```nim

import typelists, unittest

suite "Typelists":

  test "1":

    type MyTup = (int, float)

    type TupleOf5Ints = makeTypeListIt(5, int)

    type TupleOf5IntsAndFloat = typeListAppend(TupleOf5Ints, float)

    type TupleOf5IntsAndFloatAndMyTup = typeListAppendTuple(TupleOf5IntsAndFloat, MyTup)

    type MyTup2 = (int, float, float, int)

    type MyTup2WithFloatsDeleted = typeListDel(MyTup2, 1, 2)

    type InvertFloatsanInts = typeListMapIt(MyTup2, when it is float: int else: float)

    type Foo = typeListFilterIt((int, float, int32), it isnot int)

    check:

      typeListRepr(MyTup) == "(int, float)"

      typeListRepr(TupleOf5Ints) == "(int, int, int, int, int)"

      typeListRepr(TupleOf5IntsAndFloat) == "(int, int, int, int, int, float)"

      typeListRepr(TupleOf5IntsAndFloatAndMyTup) == "(int, int, int, int, int, float, int, float)"

      typeListRepr(MyTup2WithFloatsDeleted) == "(int, int)"

      typeListRepr(InvertFloatsanInts) == "(float, int, int, float)"

      typeListRepr(Foo) == "(float, int32)"

      typeListCountIt(MyTup2, it is float) == 2

      typeListCountIt(MyTup2, it is int) == 2

      typeListLen(TupleOf5Ints) == 5

      typeListLen(MyTup) == 2

      typeListFind(MyTup, float) == 1

      typeListFind(MyTup, int) == 0

      (typeListTypeAt(MyTup, 0) is int) == true

      (typeListTypeAt(MyTup, 1) is float) == true

```