GitHub - Quid2/ts-adt: Typescript ADTs

1 Branch 0 Tags

Name	Name	Last commit message	Last commit date
Latest commit tittoassini gitignore Jun 7, 2020 925ec65 · Jun 7, 2020 History 3 Commits
ADT	ADT	ADTs	Jun 7, 2020
ADTRef	ADTRef	ADTs	Jun 7, 2020
AbsRef	AbsRef	ADTs	Jun 7, 2020
Array	Array	ADTs	Jun 7, 2020
BLOB	BLOB	ADTs	Jun 7, 2020
Bit	Bit	ADTs	Jun 7, 2020
Bits11	Bits11	ADTs	Jun 7, 2020
Bits23	Bits23	ADTs	Jun 7, 2020
Bits52	Bits52	ADTs	Jun 7, 2020
Bits8	Bits8	ADTs	Jun 7, 2020
Bool	Bool	ADTs	Jun 7, 2020
ByAny	ByAny	ADTs	Jun 7, 2020
ByPattern	ByPattern	ADTs	Jun 7, 2020
ByType	ByType	ADTs	Jun 7, 2020
Bytes	Bytes	ADTs	Jun 7, 2020
Celsius	Celsius	ADTs	Jun 7, 2020
ChannelSelectionResult	ChannelSelectionResult	ADTs	Jun 7, 2020
Char	Char	ADTs	Jun 7, 2020
ConTree	ConTree	ADTs	Jun 7, 2020
Content	Content	ADTs	Jun 7, 2020
Either	Either	ADTs	Jun 7, 2020
Filler	Filler	ADTs	Jun 7, 2020
FlatEncoding	FlatEncoding	ADTs	Jun 7, 2020
Function	Function	ADTs	Jun 7, 2020
HostAddress	HostAddress	ADTs	Jun 7, 2020
HostPort	HostPort	ADTs	Jun 7, 2020
IEEE_754_binary32	IEEE_754_binary32	ADTs	Jun 7, 2020
IEEE_754_binary64	IEEE_754_binary64	ADTs	Jun 7, 2020
III	III	ADTs	Jun 7, 2020
IP4Address	IP4Address	ADTs	Jun 7, 2020
Identifier	Identifier	ADTs	Jun 7, 2020
Int	Int	ADTs	Jun 7, 2020
Int16	Int16	ADTs	Jun 7, 2020
Int64	Int64	ADTs	Jun 7, 2020
Int8	Int8	ADTs	Jun 7, 2020
Issues	Issues	ADTs	Jun 7, 2020
LeastSignificantFirst	LeastSignificantFirst	ADTs	Jun 7, 2020
List	List	ADTs	Jun 7, 2020
Match	Match	ADTs	Jun 7, 2020
Maybe	Maybe	ADTs	Jun 7, 2020
Message	Message	ADTs	Jun 7, 2020
MostSignificantFirst	MostSignificantFirst	ADTs	Jun 7, 2020
Msg	Msg	ADTs	Jun 7, 2020
NonEmptyList	NonEmptyList	ADTs	Jun 7, 2020
Note	Note	ADTs	Jun 7, 2020
Position	Position	ADTs	Jun 7, 2020
PreAligned	PreAligned	ADTs	Jun 7, 2020
Range	Range	ADTs	Jun 7, 2020
RepoProtocol	RepoProtocol	ADTs	Jun 7, 2020
SHA3_256_6	SHA3_256_6	ADTs	Jun 7, 2020
SHAKE128_48	SHAKE128_48	ADTs	Jun 7, 2020
SensorReading	SensorReading	ADTs	Jun 7, 2020
Sign	Sign	ADTs	Jun 7, 2020
SocketAddress	SocketAddress	ADTs	Jun 7, 2020
Solve	Solve	ADTs	Jun 7, 2020
SourceCode	SourceCode	ADTs	Jun 7, 2020
StoreProtocol	StoreProtocol	ADTs	Jun 7, 2020
String	String	ADTs	Jun 7, 2020
Subject	Subject	ADTs	Jun 7, 2020
Time	Time	ADTs	Jun 7, 2020
Tuple2	Tuple2	ADTs	Jun 7, 2020
Type	Type	ADTs	Jun 7, 2020
TypedBLOB	TypedBLOB	ADTs	Jun 7, 2020
UTF8Encoding	UTF8Encoding	ADTs	Jun 7, 2020
UnicodeLetter	UnicodeLetter	ADTs	Jun 7, 2020
UnicodeLetterOrNumberOrLine	UnicodeLetterOrNumberOrLine	ADTs	Jun 7, 2020
UnicodeSymbol	UnicodeSymbol	ADTs	Jun 7, 2020
Unit	Unit	ADTs	Jun 7, 2020
User	User	ADTs	Jun 7, 2020
Validate	Validate	ADTs	Jun 7, 2020
WebSocketAddress	WebSocketAddress	ADTs	Jun 7, 2020
Word	Word	ADTs	Jun 7, 2020
Word16	Word16	ADTs	Jun 7, 2020
Word32	Word32	ADTs	Jun 7, 2020
Word64	Word64	ADTs	Jun 7, 2020
Word7	Word7	ADTs	Jun 7, 2020
Word8	Word8	ADTs	Jun 7, 2020
ZM	ZM	ADTs	Jun 7, 2020
ZigZag	ZigZag	ADTs	Jun 7, 2020
.gitignore	.gitignore	gitignore	Jun 7, 2020
index.d.ts	index.d.ts	ADTs	Jun 7, 2020
index.d.ts.map	index.d.ts.map	ADTs	Jun 7, 2020
index.js	index.js	ADTs	Jun 7, 2020
index.js.map	index.js.map	ADTs	Jun 7, 2020
index.ts	index.ts	ADTs	Jun 7, 2020
package-lock.json	package-lock.json	ADTs	Jun 7, 2020
package.json	package.json	ADTs	Jun 7, 2020
tsconfig.json	tsconfig.json	ADTs	Jun 7, 2020