BNFC.Backend.Agda.Utilities.Utils

Documentation

data ImportNumeric

Import the builtin numeric types (content of some token categories)?

Constructors

YesImportNumeric

Import the numeric types.

NoImportNumeric

Don't import the numeric types.

Instances

Eq ImportNumeric

Defined in BNFC.Backend.Agda.Utilities.Utils

Methods

(==) :: ImportNumeric -> ImportNumeric -> Bool

(/=) :: ImportNumeric -> ImportNumeric -> Bool

imports

Arguments

:: ImportNumeric

Import also numeric types?

-> Bool

If have layout, import booleans.

-> Bool

If have position information, import natural numbers.

-> Bool

Do we need Maybe?

-> Doc ()

importPragmas

Arguments

:: Bool

Do we use position information?

-> [ModuleName]

Haskell modules to import.

-> Doc ()

sanitize :: String -> String

data ConstructorStyle

How to print the types of constructors in Agda?

Constructors

UnnamedArg

Simply typed, like E → S → S → S.

NamedArg

Dependently typed, like (e : E) (s₁ s₂ : S) → S.

nameSuggestion :: Type -> String

Suggest the name of a bound variable of the given category.

>>> map nameSuggestion
[ ListType (BaseType (BaseCat 'S':|"tm")), BaseType (TokenCat 'V':|"ar"), (BaseType (BaseCat 'E':|"xp") ]
["ss","x","e"]

nameFor :: String1 -> String

Suggest the name of a bound variable of the given base category.

>>> map nameFor ["Stm","ABC","#String"]
["s","a","s"]

numberUniquely :: forall a. Ord a => [a] -> [(Maybe Int, a)]

Number duplicate elements in a list consecutively, starting with 1.

>>> numberUniquely ["a", "b", "a", "a", "c", "b"]
[(Just 1,"a"),(Just 1,"b"),(Just 2,"a"),(Just 3,"a"),(Nothing,"c"),(Just 2,"b")]

type Frequency a = Map a Int

A frequency map.

NB: this type synonym should be local to numberUniquely, but Haskell lacks local type synonyms. https://gitlab.haskell.org/ghc/ghc/issues/4020

incr :: Ord a => a -> Frequency a -> Frequency a

Increase the frequency of the given key.

uArrow :: String