Idris2Doc : Web.Internal.VisibilityTypes

Web.Internal.VisibilityTypes

(source)
Definitions
data VisibilityState : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Hidden : VisibilityState
  
Visible : VisibilityState

  Hints:
  
Eq VisibilityState
  
FromFFI VisibilityState String
  
Ord VisibilityState
  
Show VisibilityState
  
ToFFI VisibilityState String
read : String -> Maybe VisibilityState
  Totality: total
  Visibility: public export