tpl.bend checks
raw source on the hub · import 0xdf198d67659100c90a58ecd6b01d034d/tpl.bend as Tpl
5 imports
import Base import ./geom.bend as G import ./protein.bend as P import ./pdb.bend as Pdb import ./templates.bend as Templates
Types
type TplAtom source · line 15 · raw
Data
TA@serial:U32 -> @chain:U32 -> @seq:Nat -> @res:String -> @name:String -> TplAtom
Definitions
def tpl_bond_match source · line 18 · raw
@+n1:String -> @+n2:String -> @+x:String -> @+y:String -> Bool
def tpl_has_scan source · line 21 · raw
@bs:List<&2, String> -> @+n1:String -> @+n2:String -> Bool
def tpl_has_bond source · line 30 · raw
@+res:String -> @+n1:String -> @+n2:String -> Bool
def tpl_bonded source · line 33 · raw
@+ra:String -> @+na:String -> @+ca:U32 -> @+qa:Nat -> @rb:String -> @nb:String -> @cb:U32 -> @qb:Nat -> Bool
def tpl_one source · line 36 · raw
@a:TplAtom -> @h:TplAtom -> List<&1, Pair(U32, U32)>
def append_tpl source · line 41 · raw
@a:List<&1, Pair(U32, U32)> -> @b:List<&1, Pair(U32, U32)> -> List<&1, Pair(U32, U32)>
def tpl_row source · line 48 · raw
@+a:TplAtom -> @ys:List<&2, TplAtom> -> List<&1, Pair(U32, U32)>
def tpl_total source · line 55 · raw
@+xs:List<&2, TplAtom> -> List<&1, Pair(U32, U32)>
def parse_tpl_seq source · line 62 · raw
@serial:U32 -> @ch:U32 -> @ms:Maybe<&2, Nat> -> @res_s:String -> @name_s:String -> Maybe<&2, TplAtom>
def parse_tpl_chain source · line 69 · raw
@serial:U32 -> @chain_s:String -> @seq_s:String -> @res_s:String -> @name_s:String -> Maybe<&2, TplAtom>
def parse_tpl_serial source · line 72 · raw
@ms:Maybe<&2, U32> -> @chain_s:String -> @seq_s:String -> @res_s:String -> @name_s:String -> Maybe<&2, TplAtom>
def parse_tpl_fields source · line 79 · raw
@serial_s:String -> @chain_s:String -> @seq_s:String -> @res_s:String -> @name_s:String -> Maybe<&2, TplAtom>
def parse_tpl_line source · line 82 · raw
@+line:String -> Maybe<&2, TplAtom>
def collect_tpl_head source · line 85 · raw
@m:Maybe<&2, TplAtom> -> @rest:Pair(List<&2, TplAtom>, Nat) -> Pair(List<&2, TplAtom>, Nat)
def collect_tpl source · line 96 · raw
@lines:List<&2, String> -> Pair(List<&2, TplAtom>, Nat)
def tpl_atoms_only source · line 103 · raw
@p:Pair(List<&2, TplAtom>, Nat) -> List<&2, TplAtom>