Caipyra Code Snippets

Ex_01_abstract_types.re

type product;
type payment;
type sale;

Ex_02_tagged_union.re

type product =
  | AGUA_300ML
  | GELATO_PEQUENO
  | GELATO_MEDIO
  | CAFE_ESPRESSO;

type payment;

type sale;

Ex_03_record.re

type product =
  | AGUA_300ML
  | GELATO_PEQUENO
  | GELATO_MEDIO
  | CAFE_ESPRESSO;

type payment;

type sale = {
  products: list(product),
  payments: list(payment),
};

Ex_04_type_arguments.re

type product =
  | AGUA_300ML
  | GELATO_PEQUENO
  | GELATO_MEDIO
  | CAFE_ESPRESSO;

type amount;
type provider;
type payment =
  | Cash(amount)
  | CreditCard(provider, amount);

type sale = {
  products: list(product),
  payments: list(payment),
};

Ex_05_modules.re

type product =
  | AGUA_300ML
  | GELATO_PEQUENO
  | GELATO_MEDIO
  | CAFE_ESPRESSO;

module Payment = {
  type amount;
  type provider;
  type t =
    | Cash(amount)
    | CreditCard(provider, amount);
};

type sale = {
  products: list(product),
  payments: list(Payment.t),
};

Ex_06_pipe_first.re

type product =
  | AGUA_300ML
  | GELATO_PEQUENO
  | GELATO_MEDIO
  | CAFE_ESPRESSO;

module Payment = {
  type amount;
  type provider;
  type t =
    | Cash(amount)
    | CreditCard(provider, amount);
};

type sale = {
  products: list(product),
  payments: list(Payment.t),
};

/* implementation */
let addProduct = (cart, product) => cart @ [product];
let cart =
  []
  ->addProduct(GELATO_MEDIO)
  ->addProduct(AGUA_300ML)
  ->addProduct(CAFE_ESPRESSO);

Ex_07_pattern_matching.re

type product =
  | AGUA_300ML
  | GELATO_PEQUENO
  | GELATO_MEDIO
  | CAFE_ESPRESSO;

module Payment = {
  type amount;
  type provider;
  type t =
    | Cash(amount)
    | CreditCard(provider, amount);
};

type sale = {
  products: list(product),
  payments: list(Payment.t),
};

/* implementation */

let getPrice = product =>
  switch (product) {
  | GELATO_MEDIO => 14.00
  | GELATO_PEQUENO => 12.00
  | CAFE_ESPRESSO => 6.00
  | AGUA_300ML => 4.00
  };

let addProduct = (cart, product) => cart @ [product];

let cart =
  []
  ->addProduct(GELATO_MEDIO)
  ->addProduct(AGUA_300ML)
  ->addProduct(CAFE_ESPRESSO);

Js.log(getPrice(CAFE_ESPRESSO));

Ex_08_partial_function_application.re

type product =
  | AGUA_300ML
  | GELATO_PEQUENO
  | GELATO_MEDIO
  | CAFE_ESPRESSO;

module Payment = {
  type amount;
  type provider;
  type t =
    | Cash(amount)
    | CreditCard(provider, amount);
};

type sale = {
  products: list(product),
  payments: list(Payment.t),
};

/* implementation */

let getPrice = product =>
  switch (product) {
  | GELATO_MEDIO => 14.00
  | GELATO_PEQUENO => 12.00
  | CAFE_ESPRESSO => 6.00
  | AGUA_300ML => 4.00
  };

let addProduct = (cart, product) => cart @ [product];

let cart =
  []
  ->addProduct(GELATO_MEDIO)
  ->addProduct(AGUA_300ML)
  ->addProduct(CAFE_ESPRESSO);

let sumPrice = (subtotal, product) => getPrice(product) +. subtotal;
let evaluateTotal = ListLabels.fold_left(~f=sumPrice, ~init=0.0, _);
Js.log(evaluateTotal(cart));