old/metaeditor/ed.icl

   1 module ed
   2
   3 from Data.Func import $
   4 import iTasks
   5 import MetaType
   6 import Data.Maybe
   7 import Data.Functor
   8
   9 import GenPrint
  10 derive gPrint MetaInst
  11
  12 Start w = startEngine t w
  13 where
  14         t = enterInformation "Enter MetaType" []
  15                 >&> \sh->whileUnchanged sh \mt->case mt of
  16                         Nothing = viewInformation () [] "No type entered"
  17                         Just mt = enterValueOfType mt
  18                                 >&> viewSharedInformation "Value:" [ViewAs $ fmap lens] @! ""
  19
  20         lens :: (MetaInst -> String)
  21         lens = printToString