bamorim

Embeds One Default Demo

Success Cases

defmodule Post do
  use Ecto.Schema

bamorim

import ballerina/http;
import ballerina/jwt;
import ballerinax/jaeger as _;

listener http:Listener httpListener = new (8080);

type RefreshTokenResponse readonly & record {|
    string token;
|};

bamorim

import Config

config :opentelemetry,
  processors: [
    {OpentelemetrySpanLogger, []},
    :batch
  ]

bamorim

‎‎​

bamorim

type XOR<T, U> = (T | U) extends object
  ? (Without<T, U> & U) | (Without<U, T> & T)
  : T | U

type Without<T, U> = {
  [P in Exclude<keyof T, keyof U>]
  ?
  : never
}

bamorim

# Maintainer: Bernardo Amorim

pkgname=crd2pulumi-bin
_pkgname=crd2pulumi
pkgver=1.0.5
pkgrel=1
pkgdesc='Generate typed CustomResources based on Kubernetes CustomResourceDefinitions.'
arch=('x86_64')
url='https://github.com/pulumi/crd2pulumi'
license=('APACHE')

bamorim

const lang = require("./fm-lang");
const to_net = require("./fm-to-net");
const to_js = require("./fm-to-js");
const json = require("./fm-json");

// Return a term or a reference to it based on a name
function name_to_term(name, defs) {
  if (defs[name] && defs[name][0] === "Ref" && !defs[defs[name][1].name]) {
    name = defs[name][1].name;
  }

bamorim

declare module "formality-lang" {
  import core, { Defs, Term } from "formality-lang/fm-core";
  import lang from "formality-lang/fm-lang";
  import net from "formality-lang/fm-net";
  import to_js from "formality-lang/fm-to-js";
  import to_net from "formality-lang/fm-to-net";

  function exec(
    term_name: string,
    defs: Defs,

bamorim

require "json"
require "uri"
require "set"

inside_services = JSON.parse(File.read("inside-services.json"))["items"]
inside_config_maps = JSON.parse(File.read("inside-config-maps.json"))["items"]
inside_namespaces = JSON.parse(File.read("inside-namespaces.json"))["items"].map { |ns| ns["metadata"]["name"] }

dmz_services = JSON.parse(File.read("dmz-services.json"))["items"]
dmz_config_maps = JSON.parse(File.read("dmz-config-maps.json"))["items"]

bamorim

-- Number of steps
k = 2
s = 3

-- Add the first vertex with self loop
local u = addVertex()
connectVertices(u, u)
setAttributes(u, "color", "red")

-- Give a chance to render