ddc-core-salt-0.4.3.1: Disciplined Disciple Compiler C code generator.

Safe HaskellSafe
LanguageHaskell98

DDC.Core.Salt.Exp

Synopsis

Documentation

class FromAnnot c1 c2 | c1 -> c2 where Source #

Convert annotated version of the Core language to the Salt fragment.

Minimal complete definition

fromAnnot

data ErrorFromAnnot Source #

Things that can go wrong when converting Salt code.

Constructors

ErrorFromAnnotFoundNakedType

Found a type that isn't part of a function application.

ErrorFromAnnotFoundNakedWitness

Found a witness that isn't part of a function application.