Compiler.Scheme.Common

Code common to all the scheme backend

In most cases the inital `Nat` argument
is the number of cases a given expression is under.
it is used to generate new unique names for the scrutinee of a case block

Definitions

firstExists : List String -> IO (Maybe String)

Visibility: export

schUserName : UserName -> Builder

Visibility: export

schName : Name -> Builder

Visibility: export

schConstructor : (String -> Builder) -> Name -> Maybe Int -> List Builder -> Builder

Visibility: export

schRecordCon : (String -> Builder) -> Name -> List Builder -> Builder

Visibility: export

data ExtPrim : Type

  Extended primitives for the scheme backend, outside the standard set of primFn

Totality: total
Visibility: public export
Constructors:

NewIORef : ExtPrim

ReadIORef : ExtPrim

WriteIORef : ExtPrim

NewArray : ExtPrim

ArrayGet : ExtPrim

ArraySet : ExtPrim

GetField : ExtPrim

SetField : ExtPrim

SysOS : ExtPrim

SysCodegen : ExtPrim

OnCollect : ExtPrim

OnCollectAny : ExtPrim

Unknown : Name -> ExtPrim

Hint: 

Show ExtPrim

mkWorld : Builder -> Builder

Visibility: export

schArglist : List Name -> Builder

Visibility: export

record LazyExprProc : Type

Totality: total
Visibility: public export
Constructor: 

MkLazyExprProc : (Builder -> Builder) -> (Builder -> Builder) -> LazyExprProc

Projections:

.processDelay : LazyExprProc -> Builder -> Builder

.processForce : LazyExprProc -> Builder -> Builder

.processDelay : LazyExprProc -> Builder -> Builder

Visibility: public export

processDelay : LazyExprProc -> Builder -> Builder

Visibility: public export

.processForce : LazyExprProc -> Builder -> Builder

Visibility: public export

processForce : LazyExprProc -> Builder -> Builder

Visibility: public export

defaultLaziness : LazyExprProc

Visibility: public export

weakMemoLaziness : LazyExprProc

Visibility: public export

schExp : SortedSet Name -> (Nat -> ExtPrim -> List NamedCExp -> Core Builder) -> (String -> Builder) -> LazyExprProc -> Nat -> NamedCExp -> Core Builder

Visibility: export

schExtCommon : SortedSet Name -> (Nat -> ExtPrim -> List NamedCExp -> Core Builder) -> (String -> Builder) -> LazyExprProc -> Nat -> ExtPrim -> List NamedCExp -> Core Builder

Visibility: export

getScheme : Ref Ctxt Defs => SortedSet Name -> (Nat -> ExtPrim -> List NamedCExp -> Core Builder) -> (String -> Builder) -> LazyExprProc -> (Name, (FC, NamedDef)) -> Core Builder

Visibility: export