Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Interpreted t where Source #
Instances
Interpreted Graph Source # | |
Interpreted Maybe Source # | |
Interpreted Stack Source # | |
Interpreted (Environment e) Source # | |
Defined in Pandora.Paradigm.Inventory.Environment type Primary (Environment e) a :: Type Source # unwrap :: Environment e a -> Primary (Environment e) a Source # | |
Interpreted (Accumulator e) Source # | |
Defined in Pandora.Paradigm.Inventory.Accumulator type Primary (Accumulator e) a :: Type Source # unwrap :: Accumulator e a -> Primary (Accumulator e) a Source # | |
Interpreted (State s) Source # | |
Interpreted (Conclusion e) Source # | |
Defined in Pandora.Paradigm.Basis.Conclusion type Primary (Conclusion e) a :: Type Source # unwrap :: Conclusion e a -> Primary (Conclusion e) a Source # | |
(Interpreted (Schema t u), Transformer t) => Interpreted (t :> u) Source # | |
Interpreted (TU ct cu t u) Source # | |
Interpreted (UT ct cu t u) Source # | |
Interpreted (UTU ct cu t u) Source # | |
Interpreted (TUV ct cu cv t u v) Source # | |
Interpreted (TUVW ct cu cv cw t u v w) Source # | |