Katla.Engine

Definitions

Position : Type

Visibility: public export

nextRow : Position -> Position

Visibility: export

nextColumn : Position -> Position

Visibility: export

record ListingRange : Type

Totality: total
Visibility: export
Constructor: 

MkListingRange : Int -> Int -> Int -> Int -> ListingRange

Projections:

.endCol : ListingRange -> Int

.endRow : ListingRange -> Int

.startCol : ListingRange -> Int

.startRow : ListingRange -> Int

RowRangeByOffset : Int -> Int -> Int -> ListingRange

Visibility: export

RangeByOffsetAndCols : Int -> Int -> Int -> Int -> ListingRange

Visibility: export

engine : Backend -> Config -> File -> File -> Nat -> PosMap ASemanticDecoration -> Driver -> Position -> IO ()

Visibility: export

setupFiles : Backend -> Maybe String -> String -> String -> Maybe String -> IO FileHandles

Visibility: export

data Snippet : Type

Totality: total
Visibility: public export
Constructors:

Raw : Maybe ListingRange -> Snippet

Macro : (String, (Bool, Maybe ListingRange)) -> Snippet

katla : Backend -> Maybe Snippet -> Maybe String -> Maybe String -> Maybe String -> Maybe String -> IO ()

Visibility: export