AlignmentCli.bend checks

raw source on the hub · import bend-edit-distance@0.1.0.0/AlignmentCli.bend as AlignmentCli

3 imports

import Base
import ./Cli.bend as CLI
import ./EdlibTypes.bend as E

Definitions

def read_mode source · line 5 · raw

@value:String -> Maybe<&2, 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.Mode>

def read_task source · line 16 · raw

@value:String -> Maybe<&2, 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.Task>

def read_format source · line 27 · raw

@value:String -> Maybe<&2, 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.CigarFormat>

def bounded_threshold source · line 36 · raw

@value:Nat -> @valid:Bool -> Maybe<&2, 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.Threshold>

def read_threshold source · line 43 · raw

@value:String -> Maybe<&2, 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.Threshold>

def read_pairs source · line 52 · raw

@value:String -> Maybe<&2, List<&2, 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.EqualityPair>>

def parse source · line 63 · raw

@mode:String -> @task:String -> @threshold:String -> @pairs:String -> @format:String -> Maybe<&2, 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.AlignConfig>

Templates

template respond source · line 73 · raw

@-align:(@_:String -> @_:String -> @_:0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.AlignConfig -> 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.AlignResult) -> @query:String -> @target:String -> @config:Maybe<&2, 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.AlignConfig> -> @status:0x483ba00627509c62188f937a7cfd8f76/Cli.InputStatus -> IO(Unit)

template run source · line 86 · raw

@-align:(@_:String -> @_:String -> @_:0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.AlignConfig -> 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.AlignResult) -> @args:List<&1, String> -> IO(Unit)