rust/hedgewars-server/src/server/haskell.rs
author alfadur
Mon, 18 May 2020 22:33:13 +0300
changeset 15572 9a333e4e3b50
parent 15571 ae6b09ae4dcc
child 15573 3f388d2e1466
permissions -rw-r--r--
parse anonymous fields
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
     1
use nom::{
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
     2
    branch::alt,
15572
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
     3
    bytes::complete::{escaped_transform, is_not, tag, take_while, take_while1},
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
     4
    character::{is_alphanumeric, is_digit, is_space},
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
     5
    combinator::{map, map_res},
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
     6
    multi::separated_list,
15572
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
     7
    sequence::{delimited, pair, preceded, separated_pair},
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
     8
    IResult,
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
     9
};
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    10
use std::collections::HashMap;
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    11
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    12
type HaskellResult<'a, T> = IResult<&'a [u8], T, ()>;
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    13
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    14
#[derive(Debug, PartialEq)]
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    15
pub enum HaskellValue {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    16
    List(Vec<HaskellValue>),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    17
    Tuple(Vec<HaskellValue>),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    18
    String(String),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    19
    Number(u8),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    20
    Struct {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    21
        name: String,
15571
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    22
        fields: HashMap<String, HaskellValue>,
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    23
    },
15572
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
    24
    AnonStruct {
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
    25
        name: String,
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
    26
        fields: Vec<HaskellValue>,
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
    27
    },
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    28
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    29
15571
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    30
fn comma(input: &[u8]) -> HaskellResult<&[u8]> {
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    31
    delimited(take_while(is_space), tag(","), take_while(is_space))(input)
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    32
}
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    33
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    34
fn surrounded<'a, P, O>(
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    35
    prefix: &'static str,
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    36
    suffix: &'static str,
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    37
    parser: P,
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    38
) -> impl Fn(&'a [u8]) -> HaskellResult<'a, O>
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    39
where
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    40
    P: Fn(&'a [u8]) -> HaskellResult<'a, O>,
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    41
{
15571
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    42
    move |input| {
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    43
        delimited(
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    44
            delimited(take_while(is_space), tag(prefix), take_while(is_space)),
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    45
            |i| parser(i),
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    46
            delimited(take_while(is_space), tag(suffix), take_while(is_space)),
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    47
        )(input)
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
    48
    }
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    49
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    50
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    51
fn number_raw(input: &[u8]) -> HaskellResult<u8> {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    52
    use std::str::FromStr;
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    53
    map_res(take_while(is_digit), |s| {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    54
        std::str::from_utf8(s)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    55
            .map_err(|_| ())
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    56
            .and_then(|s| u8::from_str(s).map_err(|_| ()))
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    57
    })(input)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    58
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    59
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    60
fn number(input: &[u8]) -> HaskellResult<HaskellValue> {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    61
    map(number_raw, HaskellValue::Number)(input)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    62
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    63
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    64
const BYTES: &[u8] = b"\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f\x20\x21\x22\x23\x24\x25\x26\x27\x28\x29\x2a\x2b\x2c\x2d\x2e\x2f\x30\x31\x32\x33\x34\x35\x36\x37\x38\x39\x3a\x3b\x3c\x3d\x3e\x3f\x40\x41\x42\x43\x44\x45\x46\x47\x48\x49\x4a\x4b\x4c\x4d\x4e\x4f\x50\x51\x52\x53\x54\x55\x56\x57\x58\x59\x5a\x5b\x5c\x5d\x5e\x5f\x60\x61\x62\x63\x64\x65\x66\x67\x68\x69\x6a\x6b\x6c\x6d\x6e\x6f\x70\x71\x72\x73\x74\x75\x76\x77\x78\x79\x7a\x7b\x7c\x7d\x7e\x7f\x80\x81\x82\x83\x84\x85\x86\x87\x88\x89\x8a\x8b\x8c\x8d\x8e\x8f\x90\x91\x92\x93\x94\x95\x96\x97\x98\x99\x9a\x9b\x9c\x9d\x9e\x9f\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9\xaa\xab\xac\xad\xae\xaf\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf\xc0\xc1\xc2\xc3\xc4\xc5\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf\xd0\xd1\xd2\xd3\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf\xe0\xe1\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd\xfe\xff";
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    65
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    66
fn string_escape(input: &[u8]) -> HaskellResult<&[u8]> {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    67
    alt((
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    68
        map(number_raw, |n| &BYTES[n as usize..(n + 1) as usize]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    69
        alt((
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    70
            map(tag("\\"), |_| &b"\\"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    71
            map(tag("\""), |_| &b"\""[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    72
            map(tag("'"), |_| &b"'"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    73
            map(tag("n"), |_| &b"\n"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    74
            map(tag("r"), |_| &b"\r"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    75
            map(tag("t"), |_| &b"\t"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    76
            map(tag("a"), |_| &b"\x07"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    77
            map(tag("b"), |_| &b"\x08"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    78
            map(tag("v"), |_| &b"\x0B"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    79
            map(tag("f"), |_| &b"\x0C"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    80
            map(tag("NUL"), |_| &b"\x00"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    81
            map(tag("SOH"), |_| &b"\x01"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    82
            map(tag("STX"), |_| &b"\x02"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    83
            map(tag("ETX"), |_| &b"\x03"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    84
            map(tag("EOT"), |_| &b"\x04"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    85
            map(tag("ENQ"), |_| &b"\x05"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    86
            map(tag("ACK"), |_| &b"\x06"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    87
        )),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    88
        alt((
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    89
            map(tag("SO"), |_| &b"\x0E"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    90
            map(tag("SI"), |_| &b"\x0F"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    91
            map(tag("DLE"), |_| &b"\x10"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    92
            map(tag("DC1"), |_| &b"\x11"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    93
            map(tag("DC2"), |_| &b"\x12"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    94
            map(tag("DC3"), |_| &b"\x13"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    95
            map(tag("DC4"), |_| &b"\x14"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    96
            map(tag("NAK"), |_| &b"\x15"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    97
            map(tag("SYN"), |_| &b"\x16"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    98
            map(tag("ETB"), |_| &b"\x17"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
    99
            map(tag("CAN"), |_| &b"\x18"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   100
            map(tag("EM"), |_| &b"\x19"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   101
            map(tag("SUB"), |_| &b"\x1A"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   102
            map(tag("ESC"), |_| &b"\x1B"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   103
            map(tag("FS"), |_| &b"\x1C"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   104
            map(tag("GS"), |_| &b"\x1D"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   105
            map(tag("RS"), |_| &b"\x1E"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   106
            map(tag("US"), |_| &b"\x1F"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   107
            map(tag("SP"), |_| &b"\x20"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   108
            map(tag("DEL"), |_| &b"\x7F"[..]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   109
        )),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   110
    ))(input)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   111
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   112
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   113
fn string_content(mut input: &[u8]) -> HaskellResult<String> {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   114
    map_res(
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   115
        escaped_transform(is_not("\"\\"), '\\', string_escape),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   116
        |bytes| String::from_utf8(bytes).map_err(|_| ()),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   117
    )(input)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   118
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   119
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   120
fn string(input: &[u8]) -> HaskellResult<HaskellValue> {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   121
    map(surrounded("\"", "\"", string_content), HaskellValue::String)(input)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   122
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   123
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   124
fn tuple(input: &[u8]) -> HaskellResult<HaskellValue> {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   125
    map(
15571
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   126
        surrounded("(", ")", separated_list(comma, value)),
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   127
        HaskellValue::Tuple,
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   128
    )(input)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   129
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   130
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   131
fn list(input: &[u8]) -> HaskellResult<HaskellValue> {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   132
    map(
15571
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   133
        surrounded("[", "]", separated_list(comma, value)),
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   134
        HaskellValue::List,
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   135
    )(input)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   136
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   137
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   138
fn identifier(input: &[u8]) -> HaskellResult<String> {
15572
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   139
    map_res(take_while1(is_alphanumeric), |s| {
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   140
        std::str::from_utf8(s).map_err(|_| ()).map(String::from)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   141
    })(input)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   142
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   143
15571
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   144
fn named_field(input: &[u8]) -> HaskellResult<(String, HaskellValue)> {
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   145
    separated_pair(
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   146
        identifier,
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   147
        delimited(take_while(is_space), tag("="), take_while(is_space)),
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   148
        value,
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   149
    )(input)
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   150
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   151
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   152
fn structure(input: &[u8]) -> HaskellResult<HaskellValue> {
15572
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   153
    alt((
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   154
        map(
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   155
            pair(
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   156
                identifier,
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   157
                surrounded("{", "}", separated_list(comma, named_field)),
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   158
            ),
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   159
            |(name, mut fields)| HaskellValue::Struct {
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   160
                name,
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   161
                fields: fields.drain(..).collect(),
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   162
            },
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   163
        ),
15572
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   164
        map(
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   165
            pair(
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   166
                identifier,
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   167
                preceded(take_while1(is_space), separated_list(comma, value)),
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   168
            ),
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   169
            |(name, mut fields)| HaskellValue::AnonStruct {
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   170
                name: name.clone(),
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   171
                fields,
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   172
            },
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   173
        ),
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   174
    ))(input)
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   175
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   176
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   177
fn value(input: &[u8]) -> HaskellResult<HaskellValue> {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   178
    alt((number, string, tuple, list, structure))(input)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   179
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   180
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   181
#[inline]
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   182
pub fn parse(input: &[u8]) -> HaskellResult<HaskellValue> {
15571
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   183
    delimited(take_while(is_space), value, take_while(is_space))(input)
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   184
}
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   185
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   186
mod test {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   187
    use super::*;
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   188
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   189
    #[test]
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   190
    fn terminals() {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   191
        use HaskellValue::*;
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   192
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   193
        matches!(number(b"127"), Ok((_, Number(127))));
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   194
        matches!(number(b"adas"), Err(nom::Err::Error(())));
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   195
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   196
        assert_eq!(
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   197
            string(b"\"Hail \\240\\159\\166\\148!\""),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   198
            Ok((&b""[..], String("Hail \u{1f994}!".to_string())))
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   199
        );
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   200
    }
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   201
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   202
    #[test]
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   203
    fn sequences() {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   204
        use HaskellValue::*;
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   205
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   206
        let value = Tuple(vec![
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   207
            Number(64),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   208
            String("text".to_string()),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   209
            List(vec![Number(1), Number(2), Number(3)]),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   210
        ]);
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   211
15571
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   212
        assert_eq!(tuple(b"(64, \"text\", [1 , 2, 3])"), Ok((&b""[..], value)));
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   213
    }
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   214
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   215
    #[test]
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   216
    fn structures() {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   217
        use HaskellValue::*;
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   218
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   219
        let value = Struct {
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   220
            name: "Hog".to_string(),
15571
ae6b09ae4dcc add whitespace handling
alfadur
parents: 15570
diff changeset
   221
            fields: vec![
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   222
                ("name".to_string(), String("\u{1f994}".to_string())),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   223
                ("health".to_string(), Number(100)),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   224
            ]
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   225
            .drain(..)
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   226
            .collect(),
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   227
        };
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   228
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   229
        assert_eq!(
15572
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   230
            structure(b"Hog {name = \"\\240\\159\\166\\148\", health = 100}"),
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   231
            Ok((&b""[..], value))
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   232
        );
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   233
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   234
        let value = AnonStruct {
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   235
            name: "Hog".to_string(),
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   236
            fields: vec![Number(100), String("\u{1f994}".to_string())],
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   237
        };
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   238
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   239
        assert_eq!(
9a333e4e3b50 parse anonymous fields
alfadur
parents: 15571
diff changeset
   240
            structure(b"Hog 100, \"\\240\\159\\166\\148\""),
15570
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   241
            Ok((&b""[..], value))
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   242
        );
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   243
    }
d524b7450576 add haskell literal parser
alfadur
parents:
diff changeset
   244
}