touch_grass/download

Download is a version of save, but with a name and not a path. A separate effect is a choice instead of using a magic directory in the filesystem.

Types

</>

pub type Input {
  Input(name: String, content: BitArray)
}

</>

pub fn decode(
  lift: value.Value(a, b),
) -> Result(Input, break.Reason(a, b))

</>

pub fn encode(result: Result(Nil, String)) -> value.Value(a, b)

</>

pub const label: String

</>

pub fn lift() -> isomorphic.Type(a)

</>

pub fn lower() -> isomorphic.Type(a)