Karya, built on Mon Jul 24 11:39:07 PDT 2017 (patch 33511aca01257b76b88de7c7a2763b7a965c084e)

Safe HaskellNone

Derive.RestrictedEnviron

Contents

Description

This is a serializable subset of BaseTypes.Val and BaseTypes.Environ. It omits pitches, which are code and can't be serialized.

Synopsis

Documentation

val

data Val Source #

This is like BaseTypes.Val, except missing fields that can't be serialized, or require Deriver and hence couldn't go in a module below Deriver without incurring a circular dependency.

Namely: BaseTypes.VPitch, BaseTypes.VControlFunction. NOTE [val-and-minival].

class ToVal a where Source #

This duplicates Typecheck, but then so does this whole module. In any case, it's convenient for creaing Environs.

TODO But I wish I could reuse Typecheck.ToVal TypecheckSymbol ToVal, otherwise I have to add an extra instance declaration for each type.

Methods

to_val :: a -> Val Source #

to_val :: ShowVal.ShowVal a => a -> Val Source #

VNum

rest

call