Packages

touch_grass

0.2.5
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
7 Dependencies
Dependants
Files
Activity
touch_grass src touch_grass@sleep.erl
Raw

src/touch_grass@sleep.erl 

-module(touch_grass@sleep).

-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).

-define(FILEPATH, "src/touch_grass/sleep.gleam").

-export([lift/0, lower/0, decode/1, encode/1]).



-file("src/touch_grass/sleep.gleam", 7).

-spec lift() -> eyg@analysis@type_@isomorphic:type(any()).

lift() ->

    integer.



-file("src/touch_grass/sleep.gleam", 11).

-spec lower() -> eyg@analysis@type_@isomorphic:type(any()).

lower() ->

    {record, empty}.



-file("src/touch_grass/sleep.gleam", 15).

-spec decode(eyg@interpreter@value:value(OOZ, OPA)) -> {ok, integer()} |

    {error, eyg@interpreter@break:reason(OOZ, OPA)}.

decode(Input) ->

    eyg@interpreter@cast:as_integer(Input).



-file("src/touch_grass/sleep.gleam", 19).

-spec encode(nil) -> eyg@interpreter@value:value(any(), any()).

encode(_) ->

    eyg@interpreter@value:unit().