Routes.re

routes.re

module type RouteParams = {type t; let makeParams: unit => t;};

module type RouteIntf = {type t; type params; let getParams: t => params;};

module MakeRoute (Params: RouteParams) :RouteIntf => {
  type t = {path: string};
  type params = Params.t;
  let getParams _ => Params.makeParams ();
};

type navigationState = {
  currentIndex: int,
  routes: list (module RouteIntf)
};

module MyRoute =
  MakeRoute {
    type t = string;
    let makeParams () => "hi";
  };

module YourRoute =
  MakeRoute {
    type t = int;
    let makeParams () => 10;
  };

let myRoute: (module RouteIntf) = (module MyRoute);

let navigationState = [myRoute, myRoute, ((module YourRoute): (module RouteIntf))];