Commit 6760be29 authored by Bastian Kauschke's avatar Bastian Kauschke Committed by Bastian Kauschke
Browse files

update tests

parent 89199390
......@@ -14,6 +14,7 @@ import Copar.Coalgebra.Parser
import Copar.FunctorExpression.Sorts
import Copar.FunctorExpression.Type
import Copar.FunctorExpression.Printable
import Copar.FunctorDescription
import Copar.RefinementInterface
import Copar.Functors.SomeFunctor
......@@ -88,6 +89,12 @@ type instance Label Identity = ()
type instance Weight Identity = ()
type instance F1 Identity = ()
type instance F3 Identity = ()
instance FunctorDescription Identity where
name = undefined
syntaxExample = undefined
description = undefined
precedence = undefined
functorExprParser = undefined
instance RefinementInterface Identity where
init = undefined
update = undefined
......@@ -104,6 +111,12 @@ type instance Label Twice = ()
type instance Weight Twice = ()
type instance F1 Twice = ()
type instance F3 Twice = ()
instance FunctorDescription Twice where
name = undefined
syntaxExample = undefined
description = undefined
precedence = undefined
functorExprParser = undefined
instance RefinementInterface Twice where
init = undefined
update = undefined
......@@ -118,7 +131,13 @@ instance Printable Twice where
type instance Label Maybe = ()
type instance Weight Maybe = ()
type instance F1 Maybe = ()
type instance F3 Maybe = ()
type instance F3 Maybe = ()
instance FunctorDescription Maybe where
name = undefined
syntaxExample = undefined
description = undefined
precedence = undefined
functorExprParser = undefined
instance RefinementInterface Maybe where
init = undefined
update = undefined
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment