Struct IdrisStdlibSnippets 

pub struct IdrisStdlibSnippets;

Collection of common Idris 2 standard library patterns for code generation.

Implementations

impl IdrisStdlibSnippets

pub fn map_maybe_fn() -> IdrisFunction

Emit a mapMaybe helper over a list.

pub fn foldr_fn() -> String

Emit a foldr implementation.

pub fn zip_fn() -> String

Emit a zip implementation.

pub fn nub_fn() -> String

Emit a nub (remove duplicates) implementation using DecEq.

pub fn show_nat_instance(type_name: &str) -> String

Emit a simple show implementation for a nat-like type.