showRequirement :: CmdlCmdRequirements -> String
showRequirement cr = case cr of
    ReqConsCheck -> "ConsChecker"
    ReqProvers -> "Prover"
    ReqGNodes -> "GoalNodes"
    ReqGEdges -> "GoalEdges"
    ReqAxm -> "Axiom"
    ReqNothing -> ""
    ReqUnknown -> ""
    _ -> drop 3 $ show cr

-- Communication channel datatypes -----------------------------------------

{- | CMDLSocket takes care of opened sockets for comunication with other
   application like the Broker in the case of PGIP -}
showRequirement :: CmdlCmdRequirements -> String
showRequirement cr = case cr of
    ReqConsCheck -> "ConsChecker"
    ReqProvers -> "Prover"
    ReqGNodes -> "GoalNodes"
    ReqGEdges -> "GoalEdges"
    ReqAxm -> "Axiom"
    ReqNothing -> ""
    ReqUnknown -> ""
    _ -> drop 3 $ show cr

-- Communication channel datatypes -----------------------------------------

{- | CMDLSocket takes care of opened sockets for comunication with other
   application like the Broker in the case of PGIP -}
showRequirement cr = case cr of
    ReqConsCheck -> "ConsChecker"
    ReqProvers -> "Prover"
    ReqGNodes -> "GoalNodes"
    ReqGEdges -> "GoalEdges"
    ReqAxm -> "Axiom"
    ReqNothing -> ""
    ReqUnknown -> ""
    _ -> drop 3 $ show cr

-- Communication channel datatypes -----------------------------------------

{- | CMDLSocket takes care of opened sockets for comunication with other
   application like the Broker in the case of PGIP -}