Skip to content

Commit

Permalink
Fix builtin Pair being documented as 2-tuples.
Browse files Browse the repository at this point in the history
  • Loading branch information
KtorZ committed Jul 27, 2024
1 parent 0b7d239 commit 2b3ec51
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions lib/aiken/builtin.ak
Original file line number Diff line number Diff line change
Expand Up @@ -300,15 +300,15 @@ pub fn un_constr_data(data: Data) -> (Int, List<Data>) {
/// --- | ---
///
/// Construct a `Data` from a list of pairs.
pub fn map_data(items: List<(Data, Data)>) -> Data {
pub fn map_data(items: List<Pair<Data, Data>>) -> Data {
fail
}

/// <small>Minimum Plutus Version</small> | <small>1</small>
/// --- | ---
///
/// Interpret a `Data` as a map. Fails if it's not a map.
pub fn un_map_data(data: Data) -> List<(Data, Data)> {
pub fn un_map_data(data: Data) -> List<Pair<Data, Data>> {
fail
}

Expand Down Expand Up @@ -395,7 +395,7 @@ pub fn choose_data(
/// --- | ---
///
/// Construct a Data from a pair of elements.
pub fn mk_pair_data(left: Data, right: Data) -> (Data, Data) {
pub fn mk_pair_data(left: Data, right: Data) -> Pair<Data, Data> {
fail
}

Expand All @@ -411,7 +411,7 @@ pub fn mk_nil_data() -> List<Data> {
/// --- | ---
///
/// Construct an empty list of pairs of data.
pub fn mk_nil_pair_data() -> List<(Data, Data)> {
pub fn mk_nil_pair_data() -> List<Pair<Data, Data>> {
fail
}

Expand All @@ -435,15 +435,15 @@ pub fn debug(message: String, continuation: a) -> a {
/// --- | ---
///
/// Get the first element of a pair.
pub fn fst_pair(pair: (a, b)) -> a {
pub fn fst_pair(pair: Pair<a, b>) -> a {
fail
}

/// <small>Minimum Plutus Version</small> | <small>1</small>
/// --- | ---
///
/// Get the second element of a pair.
pub fn snd_pair(pair: (a, b)) -> b {
pub fn snd_pair(pair: Pair<a, b>) -> b {
fail
}

Expand Down

0 comments on commit 2b3ec51

Please sign in to comment.