Language.Symantic.Typing.Module

Type NsT

data NsT

Type Name

type Name

Type NameTy

data NameTy

Type NameConst

type NameConst

Type NameFam

type NameFam

Class NameOf

class NameOf a

Class NameTyOf

class NameTyOf c

Type Mod

data Mod a

Type PathMod

type PathMod

Type NameMod

data NameMod

Type Imports

data Imports name

lookupImports

revlookupImports

Class ImportTypes

class ImportTypes ts

Type Fixy

data Fixy p i q a

fixyOfFixity

Class FixityOf

class FixityOf c

Type FixyA

data FixyA

Type WithFixity

data WithFixity a

withInfix

withInfixR

withInfixL

withInfixN

withInfixB

withPrefix

withPostfix

Type ByFixity

data ByFixity p i q

getByFixity

selectByFixity

Type MapFixity

type MapFixity a

mapMapFixity