fspl/arf
fspl/arf
Archived
1
1
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity
Page: Interface Definitions
Pages
Arguments Body Control Flow Data Enum Definitions Error Handling File Structure Functions and Methods General Syntax Guidelines Home How to Parse Identifiers Interface Definitions Metadata Modules Object Type Definitions Permissions Phrases Return Direction Style Guide Tokens Type Definitions Type Specifiers Variable Definition
1 Interface Definitions
Sasha Koshka edited this page 2022-08-30 05:57:17 +00:00
Table of Contents

Syntax

face ro ReadWriter:Face
	write
		> data:{Byte ..}
		< wrote:Int
		< err:Error
	read
		> into:{Byte ..}
		< read:Int
		< err:Error

Interface sections contain a list of behaviors. Behaviors are a name followed by an indented block of inputs and outputs. It is essentially a more stripped down version of function syntax.

Semantics

Interfaces in ARF are like interfaces in Go, that is to say, their methods are defined and any object that has at least those methods can fulfill that interface.

Interfaces are able to inherit other interfaces using type notation. If an interface inherits nothing, it must inherit Face, which is a blank interface.