TBit-0.4.2.2: Utilities for condensed matter physics tight binding calculations.

Safe Haskell	None
Language	Haskell98

TBit.Types

Documentation

type Parameterized = ExceptT TBError (State Parameters) Source

data Parameters Source

Constructors

Parameters
Fields latticeData :: Lattice meshingData :: Meshing decomData :: [LEdge Displacement] scalarParams :: Map String (Complex Double) vectorParams :: Map String (Vector (Complex Double))

Instances

Show Parameters
NFData Parameters

type Lattice = [Vector Double] Source

data TBError Source

Constructors

SingularLatticeError
DimensionalityError String
UndefinedError String
UnknownParameter String

Instances

Show TBError
NFData TBError

type Grid = Map GridIndex Source

type BandIndex = Int Source

type Filling = BandIndex Source

data Meshing Source

Constructors

Instances

Show Meshing
NFData Meshing

data GridIndex Source

Constructors

Instances

Eq GridIndex
Ord GridIndex
Show GridIndex

type Chern = Double Source

type Curvature = Double Source

type Wavevector = Vector Double Source

type KPath = [(String, Wavevector)] Source

type Hamiltonian = Wavevector -> Matrix (Complex Double) Source

type Magnetization = Double Source

type Moment = Vector Double Source

type ChemEnergy = Double Source

type Energy = Double Source

type Eigenstate = Vector (Complex Double) Source

type Eigenbra = Matrix (Complex Double) Source

type Eigenket = Matrix (Complex Double) Source

type AFOrder = Complex Double Source

type Hopping = Complex Double Source

type OnSite = Complex Double Source

type Rashba = Complex Double Source

type SOC = Complex Double Source

type Parameterizable = ExceptT TBError (State Parameters) Source

data SiteData Source

Constructors

ScalarSite
Fields num :: Int
VectorSite
Fields num :: Int mom :: Moment

Instances

type Displacement = Vector Double Source

type CellGraph = Gr SiteData Displacement Source

type AdjMatrix = Gr (Matrix (Complex Double)) (Matrix (Complex Double)) Source

type Term = String -> CellGraph -> Parameterized (Wavevector -> AdjMatrix) Source

sigmaX :: Matrix (Complex Double) Source

sigmaY :: Matrix (Complex Double) Source

sigmaZ :: Matrix (Complex Double) Source