Documentation

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Check -> c Check #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Check #

toConstr :: Check -> Constr #

dataTypeOf :: Check -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Check) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Check) #

gmapT :: (forall b. Data b => b -> b) -> Check -> Check #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Check -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Check -> r #

gmapQ :: (forall d. Data d => d -> u) -> Check -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Check -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Check -> m Check #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Check -> m Check #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Check -> m Check #

Methods

showsPrec :: Int -> Check -> ShowS #

show :: Check -> String #

showList :: [Check] -> ShowS #

Methods

from :: Check -> Rep Check x #

to :: Rep Check x -> Check #

Methods

parseJSON :: Value -> Parser Check #

parseJSONList :: Value -> Parser [Check] #

Methods

toJSON :: Check -> Value #

toEncoding :: Check -> Encoding #

toJSONList :: [Check] -> Value #

toEncodingList :: [Check] -> Encoding #