module ed

from Data.Func import $
import iTasks
import MetaType
import Data.Maybe
import Data.Functor

import GenPrint
derive gPrint MetaInst

Start w = startEngine t w
where
	t = enterInformation "Enter MetaType" []
		>&> \sh->whileUnchanged sh \mt->case mt of
			Nothing = viewInformation () [] "No type entered"
			Just mt = enterValueOfType mt
				>&> viewSharedInformation "Value:" [ViewAs $ fmap lens] @! ""

	lens :: (MetaInst -> String)
	lens = printToString