Idrall.FC

Reexports

Definitions

FilePos : Type

Visibility: public export

OriginDesc : Type

Visibility: public export

data FC : Type

Totality: total
Visibility: public export
Constructors:

MkFC : OriginDesc -> FilePos -> FilePos -> FC

MkVirtualFC : OriginDesc -> FilePos -> FilePos -> FC

  Virtual FCs are FC attached to desugared/generated code.

EmptyFC : FC

Hints:

Pretty FC

Show FC

interface HasFC : Type -> Type

Parameters: a
Constructor: 

MkHasFC

Methods:

getFC : a -> FC

Implementations:

HasFC Error

HasFC Value

HasFC (Expr a)

getFC : HasFC a => a -> FC

Visibility: public export

initFC : FC

Visibility: public export

originFromFC : FC -> OriginDesc

Visibility: public export

fcToVFC : FC -> FC

Visibility: export

getSpanSnippet : FC -> IO (Maybe String)

Visibility: export