Packages

touch_grass

0.2.11
0.2.11 0.2.10 0.2.9 0.2.8 0.2.7 0.2.6 0.2.5 0.2.4 0.2.3 0.2.2 0.2.1 0.2.0 0.1.0

Common effect types, decoders and encoders for your Eat Your Greens (EYG) runtime.

HexDocs

Current section

Files

Jump to
Readme
13 Versions
9 Dependencies
Dependants
Files
Activity
touch_grass src touch_grass prompt.gleam
Raw

src/touch_grass/prompt.gleam 

import eyg/analysis/type_/isomorphic as t

import eyg/interpreter/cast

import eyg/interpreter/value as v



pub const label = "Prompt"



pub fn lift() {

  t.String

}



pub fn lower() {

  t.result(t.String, t.unit)

}



pub fn decode(lift) {

  cast.as_string(lift)

}



pub fn encode(result) {

  case result {

    Ok(value) -> v.ok(v.String(value))

    Error(Nil) -> v.error(v.unit())

  }

}