project_m36_websocket_client
A Flutter web websocket client for Project-M36.
It’s also an attempt to bring algebraic datatypes into the Dart land.
Project-M36 also has a javascript version of websocket client.
Getting Started
git clone
the repo.flutter pub get
flutter pub run build_runner build
to generate extra source codes. Here freezed is used to represent ADTs.flutter -d web-server
(I failed to useflutter -d chrome
in my nixos.)
Known Issue
DataTable
can’t have a flexible row height. SoRelationAtom
can’t be well displayed byDataTable
. Right now, it just show as a thumbnail. There is a way to fix it by adjusting the_buildDataCell
method ofDataTable
, but I can’t find a way to edit flutter source code in nixos.
Getting Started With Flutter
This project is a starting point for a Flutter application.
A few resources to get you started if this is your first Flutter project:
For help getting started with Flutter, view our
online documentation, which offers tutorials,
samples, guidance on mobile development, and a full API reference.