protein.bend checks

raw source on the hub · import 0xdf198d67659100c90a58ecd6b01d034d/protein.bend as Protein

2 imports

import Base
import ./geom.bend as G

Types

type Atom source · line 6 · raw

Data

Atom

@serial:U32 -> @elem:U32 -> @pos:0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3 -> Atom

type Residue source · line 9 · raw

Data

Residue

@seq:Nat -> @atoms:List<&2, Atom> -> Residue

type Chain source · line 12 · raw

Data

Chain

@cid:U32 -> @residues:List<&2, Residue> -> Chain

type Complex source · line 15 · raw

Data

Complex
```
@chains:List<&2, Chain> -> Complex
```

Definitions

def Atom.pos source · line 19 · raw

@a:Atom -> 0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3

Atom position (drops serial/elem, keeps pos)

def Atom.elem source · line 25 · raw

@a:Atom -> U32

Atom element number (drops serial/pos, keeps elem)

def Atom.serial source · line 31 · raw

@a:Atom -> U32

Atom serial number (drops elem/pos, keeps serial)

def Atom.dist2 source · line 36 · raw

@+a:Atom -> @+b:Atom -> F32

def Atom.dist source · line 41 · raw

@+a:Atom -> @+b:Atom -> F32

def count_atoms source · line 44 · raw

@xs:List<&2, Atom> -> Nat

def count_residues source · line 51 · raw

@xs:List<&2, Residue> -> Nat

def sum_count_extend_go source · line 58 · raw

@pos:0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3 -> @rest:Pair(0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3, Nat) -> Pair(0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3, Nat)

def sum_count_extend source · line 63 · raw

@h:Atom -> @rest:Pair(0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3, Nat) -> Pair(0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3, Nat)

def sum_count_atoms source · line 69 · raw

@xs:List<&2, Atom> -> Pair(0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3, Nat)

Sum positions + count in one pass (list consumed once)

def centroid_of_sum_go source · line 76 · raw

@sum:0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3 -> @n:Nat -> 0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3

def centroid_of_sum source · line 83 · raw

@pair:Pair(0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3, Nat) -> 0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3

def Residue.centroid source · line 88 · raw

@r:Residue -> 0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3

def Residue.num_atoms source · line 93 · raw

@r:Residue -> Nat

def Chain.num_residues source · line 98 · raw

@c:Chain -> Nat

def append_atoms source · line 103 · raw

@xs:List<&2, Atom> -> @ys:List<&2, Atom> -> List<&2, Atom>

def flatten_res_extend source · line 110 · raw

@h:Residue -> @rest:List<&2, Atom> -> List<&2, Atom>

def flatten_residues source · line 115 · raw

@xs:List<&2, Residue> -> List<&2, Atom>

def atoms_of source · line 122 · raw

@h:Residue -> Nat

def count_atoms_in source · line 127 · raw

@xs:List<&2, Residue> -> Nat

def Chain.flatten source · line 134 · raw

@c:Chain -> List<&2, Atom>

def Chain.num_atoms source · line 139 · raw

@c:Chain -> Nat

def Chain.centroid source · line 144 · raw

@c:Chain -> 0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3

def count_chains source · line 149 · raw

@xs:List<&2, Chain> -> Nat

def Complex.num_chains source · line 156 · raw

@k:Complex -> Nat

def append_residues source · line 161 · raw

@xs:List<&2, Residue> -> @ys:List<&2, Residue> -> List<&2, Residue>

def flatten_chains_extend source · line 170 · raw

@h:Chain -> @rest:List<&2, Residue> -> List<&2, Residue>

def flatten_chains_residues source · line 177 · raw

@xs:List<&2, Chain> -> List<&2, Residue>

def Complex.num_residues source · line 184 · raw

@k:Complex -> Nat

def Complex.flatten source · line 189 · raw

@k:Complex -> List<&2, Atom>

def Complex.num_atoms source · line 194 · raw

@k:Complex -> Nat

def Complex.centroid source · line 199 · raw

@k:Complex -> 0xdf198d67659100c90a58ecd6b01d034d/geom.Vec3