ADP.Fusion.Base.Multi

Multi-dimensional extension

data M

data TermSymbol a b

type family TermArg x :: *

class TerminalStream m t i

iPackTerminalStream

oPackTerminalStream

class TermStaticVar t i

data S4 a b c d

data S5 a b c d e

data S6 a b c d e f

fromTerminalStream

toTerminalStream

class TableStaticVar i