matheus23

{-# OPTIONS_GHC -Wall #-}

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PackageImports #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE DuplicateRecordFields #-}

module Language.Elm.AST where

-- Elm format

matheus23

The Elm Compiler Architecture

Common Datastructures

• Elm.Compiler.Module.Raw is just an alias for Elm.Name.Name, which is a newtype wrapper around Data.Text.Text. Conceptually, a Module.Raw is ??? (is it canonicalized, or not?)

Understanding the Compiler Pipeline

matheus23

module Map

%access public export
%default total

||| A Map structured basically as an association list
data Map : (key : Type) -> (value : Type) -> Type where
    Empty  : Map k v
    Insert : k -> v -> Map k v -> Map k v

matheus23

Verifying my Blockstack ID is secured with the address 1DtAF6JVGu3ZC7Q5KonnmzczfRMWfuQZFL https://explorer.blockstack.org/address/1DtAF6JVGu3ZC7Q5KonnmzczfRMWfuQZFL

matheus23

/*
 * Copyright (c) 2013 matheusdev
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to
 * deal in the Software without restriction, including without limitation the
 * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
 * sell copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *