https://github.com/namachan10777/dmatch
Pattern match for D Language.
https://github.com/namachan10777/dmatch
dlang
Last synced: 3 months ago
JSON representation
Pattern match for D Language.
- Host: GitHub
- URL: https://github.com/namachan10777/dmatch
- Owner: namachan10777
- Archived: true
- Created: 2016-10-01T17:23:45.000Z (over 8 years ago)
- Default Branch: develop
- Last Pushed: 2018-08-13T14:42:14.000Z (almost 7 years ago)
- Last Synced: 2025-03-06T09:11:15.584Z (3 months ago)
- Topics: dlang
- Language: D
- Size: 103 KB
- Stars: 8
- Watchers: 3
- Forks: 0
- Open Issues: 4
-
Metadata Files:
- Readme: README.ja.md
Awesome Lists containing this project
README
# dmatch
[](https://travis-ci.org/namachan10777/dmatch)
*This repository under development...*
[English ver](./README.md)
## Overview
D言語でパターンマッチするライブラリです.
## Description
Tuple,Range,Array,Struct,Classなどからなるデータ構造にマッチして分解することが出来ます.
Tagged Variantを定義しています
ガードを用いてマッチする条件を追加する事も出来ます.
## Example
### サンプルコード
```
int add_all(int[] list){
mixin(pmatch!(list,q{
[] => return 0;
[x] ~ xs => x + return add_all(xs);
}));
}
```
### パターンのサンプル
#### InputRange
```
x::xs
[]
x::[]
```
#### Array
```
[]
[x]
[x,_]
[x] ~ xs
xs ~ [x]
```
#### Tuple
```
[x,_]
[x,y]
```
#### Class and Struct
```
{x = alpha}
{x = alpha,y = beta}
```
#### std.variant.Algebraic and Variant
```
x:int
[x]~xs : real[]
[x:int[]]~xs
```
#### Input Range
```
x::xs
x::y::xs
```
#### Tagged Variant
```
x:Num
[x]~xs:Array
[x:Num]~xs
```
#### Complex
```
[(x,_)] ~ xs
{[x]~_ : alpha,{z : theta} : beta}
{Num x : theta}
```
# Sytax difination
strings literal, charcter literal, floating point literal and interger literal are defined as 'literal'.
Allowed Identifier names are defined as 'identifier'
## PEG
```
bind <- identifier
rval <- literal
record <- '{' patterns '=' identifier (',' patterns '=' identifier)* '}'
bracket <- patterns
variant_accept_patterns <- array | record | bind
variant <- variant_accept_patterns ':' identifier
as_accept_patterns <- record | bracket | record | variant | bind | rval
as <- as_accept_patterns ('@' as_accept_patterns)+
range_accept_patterns <- as | array | variant | record | bind
range <- (range_accept_patterns "::")+ bind
array_element <- '[' (patterns (',' patterns)+)? ']'
array <- ((array_element | bind) ('~' (array_element | bind))+) | array_element
patterns <- as | array | range | variant | record | bind | rval | "[]"
```
## BNF
```
bind ::= identifier
rval ::= literal
record ::= '{' patterns '=' identifier (',' patterns '=' identifier)* '}'
bracket ::= '(' patterns ')'
variant ::= (array | record | bracket | bind | rval) ':' identifier
as ::= patterns ('@' patterns)+
range ::= (patterns "::")+ identifier
array_element ::= '[' (patterns (',' patterns)*)? ']'
array ::= (array_element | bind) ('~' (array_element | bind))*
patterns ::= as | range | array | variant | record | bracket | bind | rval
```